Book

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

by Edmund Clarke, Dexter Kozen