by
Grumberg, O.
Format:
Electronic Resources
Excerpt:
Computer logic -- Congresses.
by
Nipkow, T.
Format:
Electronic Resources
Excerpt:
-- Interactive Proof: Introduction to Isabelle/HOL -- A Primer on Separation Logic (and Automatic Program
View Other Search Results
by
Esparza, J.
Format:
Electronic Resources
Excerpt:
book delivers an interesting and valuable overview of state-of-the-art in logic- and language-based
Limit Search Results
Narrowed by: