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

by Edmund M. Clarke, Jeannette M. Wing
Venue:ACM Computing Surveys