Steven Eker;Keith Laderoute;Patrick Lincoln;M. G. Sriram;Carolyn L. Talcott
-;-;-;-;-
Automated deduction for verification
ACM Computing Surveys (CSUR)