On the Formal Development of Safety-Critical Software Andy Galloway, Frantz Iwu, John McDermid and Ian Toyn Department of Computer Science, University of York Heslington, York, YO10 5DD, UK {andyg, iwuo, jam, ian - Frantz - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Formal Development of Safety-Critical Software Andy Galloway, Frantz Iwu, John McDermid and Ian Toyn Department of Computer Science, University of York Heslington, York, YO10 5DD, UK {andyg, iwuo, jam, ian}@cs.yor Add to Reading List Document Date: 2005-10-11 03:37:04 Open Document File Size: 103,08 KB Share Result on Facebook

On the Formal Development of Safety-Critical Software Andy Galloway, Frantz Iwu, John McDermid and Ian Toyn Department of Computer Science, University of York Heslington, York, YO10 5DD, UK {andyg, iwuo, jam, ian}@cs.yorAdd to Reading List