The top documents tagged [rules necula]

Proof Planning in Logical Frameworks Carsten Schürmann Yale University September 2002.

Proof Planning in Logical Frameworks Carsten Schürmann Yale University September 2002.

217 views
Proof Planning in Logical Frameworks

Proof Planning in Logical Frameworks

26 views
Towards Automatic Verification of Safety Architectures Carsten Schürmann Carnegie Mellon University April 2000.

Towards Automatic Verification of Safety Architectures Carsten Schürmann Carnegie Mellon University April 2000.

217 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS