Showing 1 - 1 results of 1 for search 'Godefroid, Patrice', query time: 0.01s Refine Results
  1. 1
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid.

    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid. by Godefroid, Patrice

    Published 2005
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:

Search Tools: