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 - Hall of State - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2005-10-11 03:37:06 Open Document File Size: 142,10 KB Share Result on Facebook

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 providAdd to Reading List