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

First Page		Document Content
Date: 2016-09-02 01:28:21		JayHorn: A Framework for Verifying Java programs Temesghen Kahsai1 , Philipp R¨ ummer2 , Huascar Sanchez3 , and Martin Sch¨af3 1 Add to Reading List Source URL: www.philipp.ruemmer.org Download Document from Source Website File Size: 291,16 KB Share Document on Facebook