Search results
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 474-493
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 474-493