DMCA

Context-bounded model checking of concurrent software (2005)

by Shaz Qadeer Jakob Rehof
Venue:In TACAS
Citations:152 - 9 self