KORSO - Korrekte Software durch formale methoden

Translated title of the contribution: KORSO - correct software by means of formal methods

Manfred Broy, Stefan Jähnichen

Research output: Contribution to journal › Article › peer-review

Translated title of the contribution	KORSO - correct software by means of formal methods
Original language	German
Pages (from-to)	157-160
Number of pages	4
Journal	Informatik - Forschung und Entwicklung
Volume	12
Issue number	3
DOIs	https://doi.org/10.1007/s004500050084
State	Published - Aug 1997

Access to Document

@article{8309c5eba6854814b4e77835bcbea702,

title = "KORSO - Korrekte Software durch formale methoden",

author = "Manfred Broy and Stefan J{\"a}hnichen",

year = "1997",

month = aug,

doi = "10.1007/s004500050084",

language = "Deutsch",

volume = "12",

pages = "157--160",

journal = "Informatik - Forschung und Entwicklung",

issn = "0178-3564",

publisher = "Springer Verlag",

number = "3",

}

TY - JOUR

T1 - KORSO - Korrekte Software durch formale methoden

AU - Broy, Manfred

AU - Jähnichen, Stefan

PY - 1997/8

Y1 - 1997/8

UR - http://www.scopus.com/inward/record.url?scp=77949689097&partnerID=8YFLogxK

U2 - 10.1007/s004500050084

DO - 10.1007/s004500050084

M3 - Artikel

AN - SCOPUS:77949689097

SN - 0178-3564

VL - 12

SP - 157

EP - 160

JO - Informatik - Forschung und Entwicklung

JF - Informatik - Forschung und Entwicklung

IS - 3

ER -