Verification conditions for source-level imperative programs

Maria João Frade, Jorge Sousa Pinto
2011 Computer Science Review  
doi:10.1016/j.cosrev.2011.02.002 fatcat:3dlygn76mnhlthqoxjcgvljlva