Author

Edmund Clarke

5 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

5 books
Birds and butterflies

Birds and butterflies

Year unknown Meyer Solomon, Debbie Felts, and Edmund Clarke
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

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

Year unknown Edmund Clarke and Dexter Kozen
Perspectives of Systems Informatics

Perspectives of Systems Informatics

Year unknown
Perspectives of Systems Informatics Lecture Notes in Computer Science Information Systems and

Perspectives of Systems Informatics Lecture Notes in Computer Science Information Systems and

Year unknown
Verification of infinite-state systems with applications to security

Verification of infinite-state systems with applications to security

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.