Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Edmund Clarke | lit.salon

Author

Edmund Clarke

5 works

1984–2012 across 5 dated works

No biography is available yet.

Start with

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 19831984
With Dexter Kozen
Birds and butterflies1988
With Meyer Solomon, Debbie Felts
Verification of infinite-state systems with applications to security2006
Perspectives of Systems Informatics Lecture Notes in Computer Science Information Systems and2012

Books

5 works

Featured (5)Featured (5)All (5)All (5)

Search booksSort books

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers2012
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Verification of infinite-state systems with applications to security2006
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 19831984
With Dexter Kozen
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Perspectives of Systems Informatics Lecture Notes in Computer Science Information Systems and2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Birds and butterflies1988
With Meyer Solomon, Debbie Felts
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Edmund Clarke.

The conversation is still open.

There is no public salon activity to show for Edmund Clarke yet.