Original language | English |
---|---|
Journal | Science of Computer Programming |
Volume | 83 |
Pages (from-to) | 106-128 |
ISSN | 0167-6423 |
Publication status | Published - 2014 |
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 Journal › Journal article › Research › peer-review