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

Тип публикация:

Journal Article

Автори:

Alexander Romanovsky

Източник:

ACM SIGSOFT Software Engineering Notes, Volume 37, Issue 5, p.1-4. (2012)

видяно 7863 пъти
Google Scholar
DOI
RTF
EndNote XML

Последно обновяване: понеделник, 03 April 2017