Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / edited by Marcel Vinícius Medeiros Oliveira, Jim Woodcock.
By: Oliveira, Marcel Vinícius Medeiros.
Contributor(s): Woodcock, Jim | SpringerLink (Online service).
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
There are no comments for this item.