Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland

First Page		Document Content
Date: 2015-10-09 11:50:15		Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland Add to Reading List Source URL: staff.um.edu.mt Download Document from Source Website File Size: 263,12 KB Share Document on Facebook