Deployment of formal methods in industry : the legacy of the FP7 ICT DEPLOY integrated project /
Romanovsky, Alexander,1954-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
2012.
Caption title.
"September, 2012."