FM 2012: Formal Methods
Subtitle: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
By: edited by Dimitra Giannakopoulou, Dominique Méry
Contributors: Méry, Dominique; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7436
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642327599
Subjects: Mathematical Logic and Formal Languages; Information Systems; Software engineering; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Management of Computing and Information Systems