5 Results for (keywords_en:DEDUCTION)

Subscribe to RSS feed for this result set

1. The ASMKeY theorem prover

Nanchen, Stanislas, Schmid, Hubert, Schmitt, Peter H. and Stärk, Robert F. (2004)


Reports

2. Accurate Theorem Proving for Program Verification

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)


Reports

3. The HOL-OCL book

Brucker, Achim D. and Wolff, Burkhart (2006)


Reports

4. Relevance filters for event-B

Röder, Jann (2010)


Master Theses

5. Proofs for the working engineer

Mehta, Farhad Dinshaw (2008)


Doctoral and Habilitation Theses