Formal Methods: Foundations and Applications
Subtitle: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
By: edited by Rohit Gheyi, David Naumann
Contributors: Naumann, David; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7498
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642332968
Subjects: Mathematical Logic and Formal Languages; Information Systems; Software engineering; Logic design; Computer Science, general; Logics and Meanings of Programs; Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters