Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.

Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto

Browse the full ESOP paper archive.