×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [skip x]
Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 10
215 views
Verification Conditions for Single-Assignment Programs
399 views
Can we efficiently verify concurrent programs under relaxed memory models in Maude?
298 views
Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11
218 views