×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [rules necula]
Documents
Proof Planning in Logical Frameworks Carsten Schürmann Yale University September 2002
217 views
Documents
Proof Planning in Logical Frameworks
29 views
Documents
Towards Automatic Verification of Safety Architectures Carsten Schürmann Carnegie Mellon University April 2000
219 views