DMCA

Assumption generation for software component verification (2002)

by Dimitra Giannakopoulou , Corina S. Păsăreanu , Howard Barringer
Venue:In ASE’02: Automated Software Engineering
Citations:100 - 13 self