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)- 7799 reads
- Google Scholar
- DOI
- RTF
- EndNote XML
Last updated: Monday, 03 April 2017
Partner sites
