A modal specification theory for components with data

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

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Vol/bind83
Sider (fra-til)106-128
ISSN0167-6423
StatusUdgivet - 2014

Citationsformater