Title: Understanding Formal Methods (FACIT)
Subjects: Logic design, Computer science, Formal methods (Computer science)