VST

dengan kontribusi dari

Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang, dan lainnya.

File lisensi memiliki informasi tentang hak cipta, lisensi, dan izin.

Cara menginstal:

Lihat di sini untuk instruksi.

Dokumentasi:

Halaman web kami menjelaskan tujuan proyek dan memiliki tautan ke banyak publikasi terkait.

Untuk pengantar cara menggunakan C yang dapat diverifikasi, baca manual, atau berkonsultasi dengan Yayasan Perangkat Lunak Volume 5: CEVERIBE C untuk tutorial dengan latihan.

Logika Program untuk Kompiler Bersertifikat, oleh Andrew W. Appel et al., Cambridge University Press, 2014. Tersedia di Hardcover.