Modeling in Event-B: System and Software Engineering

  • Length: 612 pages
  • Publication Date: 2010-06-28