From Contracts in Structured English to CL Specifications

  • Seyed M. Montazeri, Nivir K.S. Roy, Gerardo Schneider
  • Electronic Proceedings in Theoretical Computer Science, September 2011, Open Publishing Association
  • DOI: 10.4204/eptcs.68.6

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.4204/eptcs.68.6