Semantic Scholar Open Access 1997 739 sitasi

Proof-carrying code

G. Necula

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

G

G. Necula

Format Sitasi

APA MLA BibTeX

Necula, G. (1997). Proof-carrying code. https://doi.org/10.1145/263699.263712

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1145/263699.263712

Informasi Jurnal

Tahun Terbit: 1997
Bahasa: en
Total Sitasi: 739×
Sumber Database: Semantic Scholar
DOI: 10.1145/263699.263712
Akses: Open Access ✓