Search Results

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Making formal methods more simple with few extensions to mathematical logic. by Senaratne, W. R. A. De Z.

    Published 2000
    Book
  2. 2