Software Verification with VeriFast: Industrial Case StudiesI Pieter Philippaerts, Jan Tobias M¨ uhlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-300

First Page		Document Content
		Software Verification with VeriFast: Industrial Case StudiesI Pieter Philippaerts, Jan Tobias M¨ uhlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-300 Add to Reading List Source URL: lirias.kuleuven.be Download Document from Source Website File Size: 368,18 KB Share Document on Facebook