12. SBMF 2009:
Gramado, Brazil
Marcel Vinícius Medeiros Oliveira,
Jim Woodcock:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902,
Springer 2009, ISBN
978-3-642-10451-0 Sebastián Uchitel:
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. 17-22 Leo Freitas:
Mechanising Data-Types for Kernel Design in Z. 186-203 Sergio Giro:
Undecidability Results for Distributed Probabilistic Systems. 220-235 Moonzoo Kim,
Yunho Kim:
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. 251-265 Hongwei Xi:
A Simple and General Theoretical Account for Abstract Types. 336-349
maintained by

, founded at
