×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [rules appel]
Home >
rules appel
Proof Planning in Logical Frameworks Carsten Schürmann Yale University September 2002.
217 views
Proof Planning in Logical Frameworks
26 views
Towards Automatic Verification of Safety Architectures Carsten Schürmann Carnegie Mellon University April 2000.
217 views