FM 2011: Formal Methods
Subtitle: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
By: edited by Michael Butler, Wolfram Schulte
Contributors: Schulte, Wolfram; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6664
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642214363; 9783642214370
Subjects: Logic design; Information Systems; Computer science; Software engineering