Michael Barnett Robert DeLine Manuel Fähndrich Bart Jacobs 0002 K. Rustan M. Leino Wolfram Schulte Herman Venter The Spec# Programming System: Challenges and Directions. 144-152 2005 VSTTE http://dx.doi.org/10.1007/978-3-540-69149-5_16 conf/vstte/2005 db/conf/vstte/vstte2005.html#BarnettDFJLSV05