Stav dette: Formal methods in computer science / Jiacun Wang, William Tepfenhart.