×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [based specification]
Reasoning about Multiple Related Abstractions with MultiStar
32 views
CS6133 Fall 2011 Software Specification and Verification
42 views
Reasoning about Multiple Related Abstractions with MultiStar Stephan van Staden, Cristiano Calcagno Chair of Software Engineering
214 views
Lecture 6 Template Semantics CS6133 Fall 2011 Software Specification and Verification
215 views