A Generalized Approach to Verification Condition Generation.

Cludio Belo Loureno, Maria Joo Frade, Shin Nakajima, Jorge Sousa Pinto

Browse the full COMPSAC paper archive.