A modal specification theory for components with data

Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalScience of Computer Programming
Volume83
Pages (from-to)106-128
ISSN0167-6423
Publication statusPublished - 2014

Cite this