MLPA: Modules and Libraries for Proof Assistants
ACM Digital Library
| Type | Monograph |
|---|---|
| Publisher | Association for Computing Machinery |
| Subject | Software design techniques, Semantics, Reasoning |
| Access | 2009 - 2009 |
| URL | https://dl.acm.org/conference/mlpa |
| Type | Monograph |
|---|---|
| Publisher | Association for Computing Machinery |
| Subject | Software design techniques, Semantics, Reasoning |
| Access | 2009 - 2009 |
| URL | https://dl.acm.org/conference/mlpa |