"31" Result
Sort By:
Certified programs and proofs: Proceedings : First International Conference
by Jouannaud, Jean-Pierre, Informatiker, Jouannaud, Jean-Pierre, Informaticien, Jouannaud, Jean-Pierre, Computer scientist, International Conference on Certified Programs and Proofs
fromLecture Notes in Computer Science
0
Type: Book
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklio…
by Margaria, Tiziana, International Symposium on Leveraging Applications of Formal Methods, (Iráklion)
fromLecture Notes in Computer Science
0
Type: Book
