JayHorn: A Framework for Verifying Java programs
Temesghen Kahsai
◽
Philipp Rümmer
◽
Huascar Sanchez
◽
Martin Schäf
2018 ◽
Vol 6
(9)
◽
pp. 457-461
Pooja Kapila
◽
A. Sharma
◽
N. Kaur
2006 ◽
Vol 41
(5)
◽
pp. 21-29
◽
Sewon Moon
◽
Byeong-Mo Chang
2016 ◽
Vol 51
(8)
◽
pp. 1-2
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
2008 ◽
Vol 43
(10)
◽
pp. 313-328
◽
Barthélémy Dagenais
◽
Laurie Hendren
Calanna Salvatore
◽
Andrea Calvagna
◽
Andrea Fornaia
◽
Riccardo Torrisi
◽
Emiliano Tramontana
2015 ◽
Vol 40
(1)
◽
pp. 1-5
◽
Peter Anderson
◽
Nick Vrvilo
◽
Eric Mercer
◽
Vivek Sarkar
Stijn de Gouw
◽
Frank S. de Boer
◽
Einar Broch Johnsen
◽
Peter Y. H. Wong
2013 ◽
Vol 296
◽
pp. 253-259
◽
Kari Kähkönen
◽
Olli Saarikivi
◽
Keijo Heljanko
Akihiro Hayashi
◽
Max Grossman
◽
Jisheng Zhao
◽
Jun Shirako
◽
Vivek Sarkar
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui