Disambiguation evidence for Model Checking (book) via surface form
"Model Checking (book)"
Triples (2)
Triples where some other subject referred to this entity
as "Model Checking (book)".
linked to:
Edmund Melson Clarke Jr.