Original language | English |
---|---|
Pages (from-to) | 423-472 |
Journal | Formal Aspects of Computing |
Volume | 27 |
Issue number | 2 |
DOIs | |
Publication status | Published - 8 Jan 2015 |
Laws of mission-based programming
Frank Zeyda, Ana Cavalcanti
Research output: Contribution to journal › Article › peer-review
201
Downloads
(Pure)