Proving Program Properties as First-Order Satisfiability.

Salvador Lucas

Browse the full LOPSTR paper archive.