Experimental Program Verification in the Theorema System (0)

by T Jebelean, L Kovács, N Popov
Venue:Int. Journal on Software Tools for Technology Transfer (STTT