KORSO - Korrekte Software durch formale methoden

Manfred Broy, Stefan Jähnichen

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Titel in Übersetzung	KORSO - correct software by means of formal methods
Originalsprache	Deutsch
Seiten (von - bis)	157-160
Seitenumfang	4
Fachzeitschrift	Informatik - Forschung und Entwicklung
Jahrgang	12
Ausgabenummer	3
DOIs	https://doi.org/10.1007/s004500050084
Publikationsstatus	Veröffentlicht - Aug. 1997

Zugriff auf Dokument

@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 -