Semantic Scholar Open Access 2005 1056 sitasi

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Mike Barnett B. E. Chang R. Deline B. Jacobs K. R. M. Leino

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (5)

Mike Barnett

B. E. Chang

R. Deline

B. Jacobs

K. R. M. Leino

Format Sitasi

APA MLA BibTeX

Barnett, M., Chang, B.E., Deline, R., Jacobs, B., Leino, K.R.M. (2005). Boogie: A Modular Reusable Verifier for Object-Oriented Programs. https://doi.org/10.1007/11804192_17

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1007/11804192_17

Informasi Jurnal

Tahun Terbit: 2005
Bahasa: en
Total Sitasi: 1056×
Sumber Database: Semantic Scholar
DOI: 10.1007/11804192_17
Akses: Open Access ✓