Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

First Page		Document Content
Date: 2015-01-15 16:54:25		Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA Add to Reading List Source URL: www.sci.unich.it Download Document from Source Website File Size: 576,56 KB Share Document on Facebook