Java Program Verification at Nijmegen: Developments and Perspective (2003)

by Bart Jacobs , Erik Poll
Venue:Nijmegen Institute of Computing and Information Sciences
Citations:47 - 5 self