DMCA

A Counterexample-Based Incremental and Modular Verification Approach

by Kais Klai , Hanen Ochi , Laure Petrucci
Citations:1 - 1 self