Originalsprog | Engelsk |
---|---|
Tidsskrift | Science of Computer Programming |
Vol/bind | 83 |
Sider (fra-til) | 106-128 |
ISSN | 0167-6423 |
Status | Udgivet - 2014 |
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 tidsskrift › Tidsskriftartikel › Forskning › peer review