Workshop on the SPIN Verification System (2nd 1996 Rutgers University)

Identifiers

  • Open LibraryOL546107A

Top Subjects

  • SPIN (Computer file) -- Congresses (1)
  • Computer software -- Verification -- Congresses (1)

Books by Workshop on the SPIN Verification System (2nd 1996 Rutgers University)

Total count: 1