Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 20 - detaljert visning

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

International SPIN Workshop
Bok Engelsk 2005