Showing 1 - 2 results of 2 for search '', query time: 0.01s Refine Results
  1. 1

    The spin model checker : primer and reference manual / by Holzmann, Gerard Johan, 1951-

    Published 2004
    Book
  2. 2

    Requirements engineering : from system goals to UML to software specifications / by Lamsweerde, Axel van

    Published 2009
    Book