Bookmark Saya

Semantic Scholar Open Access 2010 1006 sitasi

ABC: An Academic Industrial-Strength Verification Tool

R. Brayton A. Mishchenko
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

R

R. Brayton

A

A. Mishchenko

Format Sitasi

APA MLA BibTeX
Brayton, R., Mishchenko, A. (2010). ABC: An Academic Industrial-Strength Verification Tool. https://doi.org/10.1007/978-3-642-14295-6_5

Akses Cepat

Lihat di Sumber doi.org/10.1007/978-3-642-14295-6_5
Informasi Jurnal
Tahun Terbit
2010
Bahasa
en
Total Sitasi
1006×
Sumber Database
Semantic Scholar
DOI
10.1007/978-3-642-14295-6_5
Akses
Open Access ✓