Building verification condition generators . . . (2005)

Cached

Download Links

by I. S. W. B. Prasetya , A. Azurat , T. E. J. Vos
Venue:IN PROCEEDINGS OF 3RD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS. IEEE COMPUTER