International SPIN Workshop (12th 2005 San Francisco, Calif.)

Identifiers

  • Open LibraryOL5429781A

Top Subjects

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

Books by International SPIN Workshop (12th 2005 San Francisco, Calif.)

Total count: 1