Unifying input output conformance

Martin Weiglhofer; Bernhard Aichernig

Unifying input output conformance

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland
Herausgeber (Verlag)	.
Seiten	181-201
Publikationsstatus	Veröffentlicht - 2010

Publikationsreihe

Name	LNCS

Treatment code (Nähere Zuordnung)

Theoretical

Dieses zitieren

@inproceedings{76ef563eb1a64f0eb0c04c974ed76bb6,

title = "Unifying input output conformance",

author = "Martin Weiglhofer and Bernhard Aichernig",

year = "2010",

language = "English",

series = "LNCS",

publisher = ".",

pages = "181--201",

booktitle = "Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland",

}