Verification conditions for single-assignment programs.

Daniela Carneiro da Cruz, Maria Joo Frade, Jorge Sousa Pinto

Browse the full SAC paper archive.