Coverage, Vacuity, and Interpolation in Model Checking

Mitra Purandare
ISBN:978-1-257-03868-8
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.