×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [based specification]
Documents
Reasoning about Multiple Related Abstractions with MultiStar Stephan van Staden, Cristiano Calcagno Chair of Software Engineering
218 views
Documents
Lecture 6 Template Semantics CS6133 Fall 2011 Software Specification and Verification
218 views
Documents
Reasoning about Multiple Related Abstractions with MultiStar
40 views
Documents
CS6133 Fall 2011 Software Specification and Verification
44 views