Translated title of the contribution | TDL Steps Beyond Giotto: A Case for Automated Software Construction |
---|---|
Original language | English |
Pages (from-to) | 335-354 |
Journal | International Journal of Software and Informatics |
Publication status | Published - 2011 |
Bibliographical note
Volume 5, Issue 1-2 (2011)Fields of Science and Technology Classification 2012
- 101 Mathematics
- 102 Computer Sciences