Return to Article Details Formal modelling and design of mobile prescription applications Download Download PDF