Formal Methods: Foundations and Applications: 12th Brazilian

Formal Methods:Foundations and Applications:12th Brazilian
AuthorMarcel Vinícius Medeiros Oliveira, Jim Woodcock

Print length: 351

Publication date: 2009-12-01

ISBN-10: 3642104517

ISBN-13: 9783642104510