Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications (Q5088168)
From MaRDI portal
scientific article; zbMATH DE number 7552939
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications |
scientific article; zbMATH DE number 7552939 |
Statements
4 July 2022
0 references
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications (English)
0 references
