2 results Refine Results
  1. 1
    by McGettrick, Andrew D., 1944-
    Published 1982
    Book
    Save to List
    Saved in:
    Program verification using Ada /
  2. 2
    by Deutsch, Michael S.
    Published 1982
    Book
    Save to List
    Saved in:
    Software verification and validation : realistic project approaches /

Search Tools: