DMCA

Formal Methods: State of the Art and Future Directions (1996)

by Edmund M. Clarke , Jeannette M. Wing
Venue:ACM Computing Surveys
Citations:419 - 6 self