Generic System Support for Deductive Program Development (0)

Cached

Download Links

by Abdelwaheb Ayari , David A. Basin
Venue:In Tools and Algorithms for the Construction and Analysis of Systems (TACAS-96), volume 1055 of LNCS
Citations:8 - 5 self