An automata theoretic apporach to automatic program verification (1996)

by M Y Vardi, P YVolper
Venue:In L1US 86: Logic in C'o~puter Scie~ce