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		Document Content
Date: 2005-10-11 03:37:04		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 Source URL: vstte.ethz.ch Download Document from Source Website File Size: 103,08 KB Share Document on Facebook