Modeling in Event-B

by

  • Publisher: Cambridge University Press
  • Print ISBN: 9780521895569, 0521895561

  • eText ISBN: 9781139637794, 1139637797

  • Edition: 1st