Formal methods: State of the art and future directions. (1996)

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