Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.

Philipp Rmmer, Muhammad Ali Shah

Browse the full TAP paper archive.