Building verification condition generators by compositional extensions (2005)

by I S W B Prasetya, A Azurat, T E J Vos, A van Leeuwen
Venue:In Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer