DMCA

Component Verification with Automatically Generated Assumptions (2005)

by Dimitra Giannakopoulou , Corina S. Păsăreanu , Howard Barringer
Venue:Automated Software Engineering
Citations:30 - 6 self