Integrated Formal Methods
Subtitle: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
By: edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
Contributors: Gnesi, Stefania; Latella, Diego; Treharne, Helen; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7321
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642307294
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Computer software