Original language | English |
---|---|
Pages (from-to) | 1-15 |
Number of pages | 15 |
Journal | Electronic Communications of the EASST |
Volume | 53 |
Publication status | Published - 2012 |
Event | AVOCS 2012 : International Workshop on Automated Verification of Critical Systems - Bamberg, Germany Duration: 18 Sept 2012 → 20 Sept 2012 |
E-SPARK: Automated generation of provably correct code from formally verified designs
Rajiv Murali, Andrew Ireland
Research output: Contribution to journal › Article › peer-review
2
Citations
(Scopus)