E
Edmund Clarke
5 works on record
Works

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

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

Verification of infinite-state systems with applications to security

Perspectives of Systems Informatics

Birds and butterflies