Generic System Support for Deductive Program Development.

Abdelwaheb Ayari, David A. Basin

Browse the full TACAS paper archive.