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, № 5, p.1-4. (2012)
