Model checking software: 18th international SPIN workshop, Snowbird, UT, U… by International SPIN Workshop, Snowbird, Utah fromLNCS sublibrary. SL 1, Theoretical computer science and gen… 0 Type: Book
