Search alternatives:
"pragmatics" » "pragmatic"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and HOL -- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving...”