Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project

Publication Type:

Journal Article

Source:

ACM SIGSOFT Software Engineering Notes, Volume 37, Issue 5, p.1-4. (2012)
Share/Save
Last updated: Monday, 03 April 2017