ITP
International Conference on Interactive Theorem Proving
-
2011
ITP 2011
- 22-25 August
- Berg en Dal, The Netherlands
-
Interactive Theorem Proving
29 Papers
1 Volume