Formal methods foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
Formal methods foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / [electronic resource] :
edited by Marcel Vinicius Medeiros Oliveira, Jim Woodcock.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
- x, 349 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5902 0302-9743 ; .
9783642104527 (electronic bk.) 9783642104510 (paper)
Formal methods (Computer science)--Congresses.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Computer Science.
QA76.9.F67 / B73 2009
005.131
9783642104527 (electronic bk.) 9783642104510 (paper)
Formal methods (Computer science)--Congresses.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Computer Science.
QA76.9.F67 / B73 2009
005.131