ISBN 9780470876183 books & textbook
Formal Methods for Industrial Critical Systems: A Survey of Applications
Gnesi, Stefania Margaria, Tiziana
Wiley-IEEE Computer Society Pr /2012-12-17 Paperback / 292 Pages
isbn-10: 0470876182 / isbn-13: 9780470876183
