Mengapa Kita Bisa Membuktikan Program 100% Bebas Bug Tanpa Menjalankannya Sekali Pun? Sains Verifikasi Formal dan Model Checking
Tags
2 halaman
Formal-Verification
Teori Tipe dan Isomorfisme Curry-Howard: Harmoni Mendalam antara Proposisi=Tipe dan Bukti=Program
