Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selec
by Marcel Vinicius Medeiros Oliveira, Jim Woodcock Paperback 2009
- Author: Marcel Vinicius Medeiros Oliveira, Jim Woodcock
- ISBN 13: 9783642104510
- ISBN 10: 3642104517
- Publication Year: 2009
- Language: English
Specifications
Index-103642104517
LanguageEnglish
Index-139783642104510
Period-
Class Track-
Publisher- (2009)
Pages-