Verified Programming in Guru (2009)

by A Stump, M Deters, A Petcher, T Schiller, T Simpson
Venue:Programming Languges meets Program Verification (PLPV