Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann and Rajeev Joshi Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology Pa - Gerard J. Holzmann - Document - PDFSEARCH.IO

First Page	Meta Content
	Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann and Rajeev Joshi Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology Pa Add to Reading List Document Date: 2005-10-11 03:37:06 Open Document File Size: 130,71 KB Share Result on Facebook

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann and Rajeev Joshi Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology PaAdd to Reading List