\chapter{Studi Kasus}
Bab ini menjabarkan beberapa contoh penggunaan metoda formal.
Beberapa contoh merupakan karya mahasiswa yang mengikuti kuliah
metoda formal ini.