×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [map inv]
Program Specialisation, Inductive Theorem Proving and Infinite State Model Checking Michael Leuschel (joint work with Helko Lehmann) Invited Talk Lopstr’03
215 views
Program Specialisation, Inductive Theorem Proving and Infinite State Model Checking
39 views