João Frade and Jorge Sousa Pinto. Verification conditions for source-level imperative programs (0)

by Maria
Venue:Computer Science Review