Verified programming in Guru (2008)

by Aaron Stump
Venue:In PLPV
Citations:13 - 3 self