Making the most of formal specification through animation, testing and proof, (1997)

by J Bicarregui, J Dick, B Matthews, E Woods
Venue:Science of Computer Programming