DMCA

Generation of verification conditions for Abadi and Leino's Logic of Objects (2002)

by Francis Tang , Martin Hofmann
Venue:in: FOOL9 — Ninth International Workshop on Foundations of Object-Oriented Languages
Citations:10 - 0 self