Generic system support for deductive program development (1996)

by Abdelwaheb Ayari, David Basin
Venue:Tools and Algorithms for the Construction and Analysis of Systems: second international workshop, TACAS ’96, LNCS 1055