Formal Methods for Industrial Critical Systems: 13th Intea

Formal Methods for Industrial Critical Systems: 13th Intea
AuthorDarren Cofer, Alessandro Fantechi

Print length: 233

Publication date: 2009-08-01

ISBN-10: 3642032397

ISBN-13: 9783642032394