Suggested Topics within your search.
Showing 1 - 8 results of 8 for search '"Computer software Verification Congresses."', query time: 0.03s Refine Results
  1. 1
    Model checking software (vol. # 3925) : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
    Published 2006
    Subjects: “…Computer software Verification Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Computer aided verification /
    Published 2000
    Subjects: “…Computer software Verification Congresses.…”
    Conference Proceeding Book
    Save to List
    Saved in:
  3. 3
    Computer aided verification (vol. # 4144) : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Published 2006
    Subjects: “…Computer software Verification Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Software and systems safety : specification and verification /
    Published 2011
    Subjects: “…Computer software Verification Congresses.…”
    Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    Model checking and artificial intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers /
    Published 2009
    Subjects: “…Computer software Verification Congresses.…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
  6. 6
    Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
    Published 2005
    Subjects: “…Computer software Verification Congresses.…”
    SpringerLink
    Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Hardware and software : verification and testing /
    Published 2008
    Subjects: “…Computer software Verification Congresses.…”
    Conference Proceeding Book
    Save to List
    Saved in:
  8. 8
    Hardware and software : verification and testing /
    Published 2008
    Subjects: “…Computer software Verification Congresses. 19244…”
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search