×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [rules necula]
Proof Planning in Logical Frameworks Carsten Schürmann Yale University September 2002
217 views
Proof Planning in Logical Frameworks
29 views
Towards Automatic Verification of Safety Architectures Carsten Schürmann Carnegie Mellon University April 2000
219 views