ISBN 9783540709510 books & textbook
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de
Springer /2007-02-20 Paperback / 376 Pages
isbn-10: 3540709517 / isbn-13: 9783540709510
