[ Back to Record ]

  1. Bib ID# 26143
    ISBN: 9781447152606
    UPC: 10.1007/978-1-4471-5260-6
    Title: Using Event-B for Critical Device Software Systems
    Author: Singh, Neeraj Kumar.
    Publication Info:
    Item Type: Language material

[ Back to Record ]