Unifying input output conformance

Martin Weiglhofer, Bernhard Aichernig

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland
Publisher.
Pages181-201
Publication statusPublished - 2010

Publication series

NameLNCS

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Weiglhofer, M., & Aichernig, B. (2010). Unifying input output conformance. In Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland (pp. 181-201). (LNCS). ..