arXiv Open Access 2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

Shilpi Goel Matt Kaufmann

Lihat Sumber

Abstrak

This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas, USA, on November 5-6, 2018, immediately after FMCAD'18. The proceedings of ACL2-2018 include eleven long papers and two extended abstracts.

Topik & Kata Kunci

cs.SC cs.LO

Penulis (2)

Shilpi Goel

Matt Kaufmann

Format Sitasi

APA MLA BibTeX

Goel, S., Kaufmann, M. (2018). Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications. https://arxiv.org/abs/1810.03762

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓