Real Theorem Provers Deserve Real User-Interfaces (1992)

by Laurent Thery , Yves Bertot , Gilles Kahn
Citations:55 - 5 self