"31" Result
Sort By:
Many-sorted logic and its applications
by Meinke, Karl
fromWiley professional computing
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
