Verification as Specialization of Interpreters with Respect to Data Alexei P. Lisitsa1 and Andrei P. Nemytykh2? 1 Department of Computer Science, The University of Liverpool

First Page		Document Content
Date: 2010-12-31 06:04:07		Verification as Specialization of Interpreters with Respect to Data Alexei P. Lisitsa1 and Andrei P. Nemytykh2? 1 Department of Computer Science, The University of Liverpool Add to Reading List Source URL: meta2008.pereslavl.ru Download Document from Source Website File Size: 279,92 KB Share Document on Facebook