First Page | Document Content | |
---|---|---|
![]() Date: 2015-11-12 17:02:31Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq | Add to Reading List |