Unifying input output conformance

Martin Weiglhofer, Bernhard Aichernig

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

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