A Generic Intermediate Representation for Verification Condition Generation.

Manuel Montenegro, Ricardo Pea, Jaime Snchez-Hernndez

Browse the full LOPSTR paper archive.