Languages, Ambiguity, and Verification The SPARK Team Praxis High Integrity Systems 20 Manvers Street, Bath BA1 1PX UK.

First Page		Document Content
Date: 2005-10-11 03:37:12		Languages, Ambiguity, and Verification The SPARK Team Praxis High Integrity Systems 20 Manvers Street, Bath BA1 1PX UK. Add to Reading List Source URL: vstte.ethz.ch Download Document from Source Website File Size: 126,86 KB Share Document on Facebook