Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Part I (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 636
Edition: 2012
Publisher: Springer
Published: 11 Sep 2012
ISBN 10: 3642340253
ISBN 13: 9783642340253