I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen. Building Verification Condition Generators by Compositional Extensions. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 220-230, IEEE Computer Society, 2005. [doi]
Abstract is missing.