Concrete Semantics
Tobias Nipkow
Concrete Semantics - 2014 - Springer 2014
9783319105420
Computer Science
Computer Science Logic and Foundations of Programming
Concrete Semantics - 2014 - Springer 2014
9783319105420
Computer Science
Computer Science Logic and Foundations of Programming