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

First Page	Meta Content
	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 Document Date: 2015-10-09 11:50:15 Open Document File Size: 263,12 KB Share Result on Facebook

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