Return to Article Details Formal modeling and proving of Campus Management System: Event-B perspective Download Download PDF