JayHorn: A Framework for Verifying Java programs.

Temesghen Kahsai Philipp Rümmer Huascar Sanchez Martin Schäf

Published in: CAV (1) (2016)

Keyphrases

java programs
case study
java language