DMCA

Model Checkers in Software Testing (2002)

by Paul Ammann , Paul E. Black , Wei Ding
Venue:NIST-IR 6777, National Institute of Standards and Technology
Citations:13 - 2 self