Reasoning About Specifications

  • Nimal Nissanke
  • January 1999, Springer Science + Business Media
  • DOI: 10.1007/978-1-4471-0791-0_6

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/978-1-4471-0791-0_6