Proving partial correctness of partial functions (1996)

by J Giesl
Venue:Proc. CADEWorkshop Mechanization of Partial Functions