Leveraging Applications of Formal Methods, Verification and Validation
by Margaria, Tiziana, Steffen, Bernhard, Steffen, Bernhard, International Symposium on Leveraging Applications of Formal Methods, International Symposium on Leveraging Applications of Formal Methods
fromCommunications in Computer and Information Science, 17
0
Type: Book
Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.