Book serie: / Книги серии: Lecture Notes in Computer Science 6617 : Programming and Software Engineering » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 6617 : Programming and Software Engineering

book NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

pdf

Author: K. Rustan M. Leino (auth.) Mihaela Bobaru Klaus Havelund Gerard J. Holzmann Rajeev Joshi (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0