VaqUoT: A Tool for Vacuity Detection (2005)

by Mihaela Gheorghiu , Arie Gurfinkel
Venue:In Proceedings of Tool Track, FM’06
Citations:5 - 3 self