Clarke, E. M., 1945- (Personal Name)

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)

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)