Materi ini menjelaskan tentang Introduction to Proofs of Correctness.
Mahasiswa memahami pengertian Introduction to Proofs of Correctness dan mampu menjelaskan pengertian dan hal-hal yang terkait pada Introduction to Proofs of Correctness .
Tugas : Membuat kesimpulan materi ini dengan berkelompok.