Title: Program deprivation using formal method
Subjects: Computer logic, Computer software, Development