Mapping OCL-constrained models to JML specifications

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapterpeer-review

Original languageEnglish
Title of host publicationProceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003
Place of PublicationGrandview, Texas, USA
PublisherSociety for design and process science
Publication statusPublished - 2004

Cite this