Lessons from the JML Project Gary T. Leavens1 and Curtis Clifton1?? Department of Computer Science, Iowa State University, 226 Atanasoff Hall, Ames, IAUSA Abstract. To have impact, a grand challenge should provid

First Page		Document Content
Date: 2005-10-11 03:37:06		Lessons from the JML Project Gary T. Leavens1 and Curtis Clifton1?? Department of Computer Science, Iowa State University, 226 Atanasoff Hall, Ames, IAUSA Abstract. To have impact, a grand challenge should provid Add to Reading List Source URL: vstte.ethz.ch Download Document from Source Website File Size: 142,10 KB Share Document on Facebook