Proving partial correctness of partial functions (1996)

by Jürgen Giesl
Venue:PROC. CADEWORKSHOP MECHANIZATION OF PARTIAL FUNCTIONS
Citations:2 - 1 self