Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications (Q5086891)
From MaRDI portal
scientific article; zbMATH DE number 7554273
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications |
scientific article; zbMATH DE number 7554273 |
Statements
7 July 2022
0 references
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications (English)
0 references
