Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project
Publication Type:
Journal ArticleSource:
ACM SIGSOFT Software Engineering Notes, Volume 37, Issue 5, p.1-4. (2012)- 8081 reads
- Google Scholar
- DOI
- RTF
- EndNote XML