Bookmark Saya

Semantic Scholar Open Access 1997 908 sitasi

Model checking for programming languages using VeriSoft

Patrice Godefroid
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

P

Patrice Godefroid

Format Sitasi

APA MLA BibTeX
Godefroid, P. (1997). Model checking for programming languages using VeriSoft. https://doi.org/10.1145/263699.263717

Akses Cepat

Lihat di Sumber doi.org/10.1145/263699.263717
Informasi Jurnal
Tahun Terbit
1997
Bahasa
en
Total Sitasi
908×
Sumber Database
Semantic Scholar
DOI
10.1145/263699.263717
Akses
Open Access ✓