and Ranan Fraer. Reasoning with Executable Specifications (1995)

by Yves Bertot
Venue:In TAPSOFT’95, volume 915 of LNCS