Formal methods in transformational derivation of programs

  • Uday S. Reddy
  • January 1990, ACM (Association for Computing Machinery)
  • DOI: 10.1145/99569.99828

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1145/99569.99828

In partnership with:

Link to ACM (Association for Computing Machinery) showcase

More from this publisher