EnglishbookID: c1ce2913
Concrete Semantics - A Proof Assistant Approach
Category
BY PROGRAMMING LANGUAGE / Isabelle/HOL
External Link
http://www21.in.tum.de/~nipkow/Concrete-Semantics/Your Library
BY PROGRAMMING LANGUAGEIsabelle/HOL
Open Resource ↗BY PROGRAMMING LANGUAGE / Isabelle/HOL