Edmund M. Clarke

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal methods: State of the art and future directions

Edmund M. Clarke et al. (1996) · ACM Computing Surveys

Design and synthesis of synchronization skeletons using branching time temporal logic

Edmund M. Clarke et al. (1981) · Logic of Programs