Verification Environment in Theorema (2005)

by L Kovacs, N Popov, T Jebelean
Venue:Annals of Mathematics, Computing and Teleinformatics (AMCT