Showing 1 - 2 results of 2 for search 'Ardis, Mark', query time: 0.02s Refine Results
  1. 1
    FMSP 98: Formal Methods in Software Practice, Co-Located with ISSTA
    by Ardis, Mark
    Published 1998
    Other Authors: “…Ardis, Mark…”
    eBook
  2. 2
    Proceedings of FMSP'98 : the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA : co-located with ISSTA'98
    Published 1998
    Other Authors: “…Ardis, Mark A. (Mark Alan), 1949-…”
    Book

Search Tools: