Large Experimental Program Verification in the Theorema System (2004)

by Tudor Jebelean , Laura Kovács , Nikolaj Popov
Venue:In Proceedings ISOLA 2004, Cyprus
Citations:10 - 8 self