Title: Verification, Induction, Termination Analysis
Subjects: Logic design, Information systems, Computer science, Software engineering, Computer networks, Artificial intelligence, Functional programming (Computer science), Verification, Computer logic, Computer programs