First level of the Event-B specification of the HIMACF model (with role-based access control)
Apache License 2.0Apache-2.0