Building Verification Condition Generators by Compositional Extensions.

I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen

Browse the full SEFM paper archive.