Search Results - "formal methods"

  • Showing 1 - 1 results of 1
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