Verification Environment in Theorema

by Laura Ildikó Kovács , Nikolaj Popov , Tudor Jebelean
Venue:Articles in Refereed Conference Proceedings 1. N. Popov and
Citations:4 - 1 self