Engineering and Employing Reusable Software Components for Modular Verification.

Daniel Welch, Murali Sitaraman

Browse the full ICSR paper archive.