24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ - Software verification - Document - PDFSEARCH.IO

First Page	Meta Content
	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ Add to Reading List Document Date: 2017-07-30 15:10:35 Open Document File Size: 185,11 KB Share Result on Facebook

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨Add to Reading List