Specification of e-Health system using Z: A motivation to formal methods
The formal specification for the inventory system using Z language