Bookmark Saya

Semantic Scholar Open Access 2015 287 sitasi

νZ - An Optimizing SMT Solver

Nikolaj S. Bjørner Anh-Dung Phan Lars Fleckenstein
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

N

Nikolaj S. Bjørner

A

Anh-Dung Phan

L

Lars Fleckenstein

Format Sitasi

APA MLA BibTeX
Bjørner, N.S., Phan, A., Fleckenstein, L. (2015). νZ - An Optimizing SMT Solver. https://doi.org/10.1007/978-3-662-46681-0_14

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1007/978-3-662-46681-0_14
Informasi Jurnal
Tahun Terbit
2015
Bahasa
en
Total Sitasi
287×
Sumber Database
Semantic Scholar
DOI
10.1007/978-3-662-46681-0_14
Akses
Open Access ✓