Using Event-b for Critical Device Software Systems
ISBN: 9781447152606
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.