Date: 2005-09-27 04:10:06

Logic in computer science

Formal methods

Logical syntax

Formal sciences

Mathematical logic

Formal verification

Isabelle

Proof assistant

KeY

Logic

Mathematics

Theoretical computer science

Towards a Worldwide Verification Technology Wolfgang Paul April[removed]

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 103,83 KB