JayHorn: A Framework for Verifying Java programs Temesghen Kahsai1 , Philipp R¨ ummer2 , Huascar Sanchez3 , and Martin Sch¨af3 1 - Java - Document - PDFSEARCH.IO

First Page	Meta Content
	JayHorn: A Framework for Verifying Java programs Temesghen Kahsai1 , Philipp R¨ ummer2 , Huascar Sanchez3 , and Martin Sch¨af3 1 Add to Reading List Document Date: 2016-09-02 01:28:21 Open Document File Size: 291,16 KB Share Result on Facebook

JayHorn: A Framework for Verifying Java programs Temesghen Kahsai1 , Philipp R¨ ummer2 , Huascar Sanchez3 , and Martin Sch¨af3 1Add to Reading List