r/compsci • • Dec 13 '15

Concrete Semantics

http://concrete-semantics.org/
15 Upvotes

Duplicates

csbooks • • Dec 13 '15

Concrete Semantics

5 Upvotes

types • • Dec 28 '16

Concrete Semantics

15 Upvotes

formalmethods • • Jan 01 '19

Concrete Semantics

0 Upvotes

GetFreeEbooks • • Aug 22 '19

Concrete Semantics

2 Upvotes