Leveraging Applications of Formal Methods, Verification, and Validation
Subtitle: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
By: edited by Tiziana Margaria, Bernhard Steffen
Contributors: Steffen, Bernhard; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6415
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642165573; 9783642165580
Subjects: Logic design; Information systems; Computer science; Software engineering; Data mining; Computer networks