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

by E M Clarke, J M Wing
Venue:ACM Computing Surveys