Modeling in Event-b : System and Software Engineering
ISBN: 9780511729768
Information Available:
Summary
Copyright held by Baker & Taylor.