Showing 1 - 1 results of 1 for search 'Wing, Jeanneth M.', query time: 0.01s Refine Results
  1. 1

    Formal methods state of the art and future directions. by Clarke, Edmund M.

    Published in ACM computing surveys.
    Article

    Formal methods state of the art and future directions.

Search Tools: