MPG.eBooks - Search Results - "Edmund M. Clarke"

Search alternatives:
edmund m » edmund _, edmund a , edmund d

Cover Image

1

Handbook of Model Checking

Published 2018

Springer International Publishing

Cover Image

2

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

3

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg