found: DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991: CIP t.p. (E.M. Clarke) data sheet (b. 7-27-45)
found: DIMACS Workshop on Computer Aided Verification (1990 : Ctr. for Discr. Math. and Theor. Comp. Science). Computer-aided verification, c1991: CIP t.p. (E.M. Clarke) verso (Edmund M. Clarke; Carnegie-Mellon Univ., Pittsburgh, PA)
found: Logics of Programs Workshop (1983 : Carnegie Mellon University). Logics of Programs Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6-8, 1983, 1984: CIP t.p. (Edmund Clarke) t.p. verso (of IBM Research, Yorktown Heights, N.Y.)
found: Carnegie Mellon University, School of Computer Science WWW Home page, Aug. 11, 1998: faculty pages (Edmund M. Clarke, FORE Systems Professor of Computer Science; under Selected Publications: Logic of Programs: Workshop, Yorktown Heights, NY, May 1981)
Clarke, E. M., 1945-
