Search Results - Berard, Beatrice

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Systems and software verification model-checking techniques and tools

    Systems and software verification model-checking techniques and tools

    Published 2001
    Other Authors: “…Berard, Beatrice…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: