VaqUoT: A Tool for Vacuity Detection (2005)

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