Works matching IS 02562499 AND DT 2009 AND VI 34 AND IP 1
Results: 6
Formalizing Arrow's theorem.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 193, doi. 10.1007/s12046-009-0005-1
- By:
- Publication type:
- Article
Proving the correctness of client/server software.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 145, doi. 10.1007/s12046-009-0004-2
- By:
- Publication type:
- Article
A compact kernel for the calculus of inductive constructions.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 71, doi. 10.1007/s12046-009-0003-3
- By:
- Publication type:
- Article
Operating system verification--An overview.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 27, doi. 10.1007/s12046-009-0002-4
- By:
- Publication type:
- Article
Proof assistants: History, ideas and future.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 3
- By:
- Publication type:
- Article
Interactive Theorem Proving and Verification.
- Published in:
- Sādhanā: Academy Proceedings in Engineering Sciences, 2009, v. 34, n. 1, p. 1
- By:
- Publication type:
- Article