Bookmark Saya

Semantic Scholar Open Access 1992 728 sitasi

Abstract Interpretation and Application to Logic Programs

P. Cousot R. Cousot
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

P

P. Cousot

R

R. Cousot

Format Sitasi

APA MLA BibTeX
Cousot, P., Cousot, R. (1992). Abstract Interpretation and Application to Logic Programs. https://doi.org/10.1016/0743-1066(92)90030-7

Akses Cepat

Lihat di Sumber doi.org/10.1016/0743-1066(92)90030-7
Informasi Jurnal
Tahun Terbit
1992
Bahasa
en
Total Sitasi
728×
Sumber Database
Semantic Scholar
DOI
10.1016/0743-1066(92)90030-7
Akses
Open Access ✓