Mapping OCL-constrained models to JML specifications

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Chapter › peer-review

Original language	English
Title of host publication	Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003
Place of Publication	Grandview, Texas, USA
Publisher	Society for design and process science
Publication status	Published - 2004

Cite this

@inbook{00f25a9463c647138456653a2912fbac,

title = "Mapping OCL-constrained models to JML specifications",

author = "Ali Hamie",

year = "2004",

language = "English",

booktitle = "Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003",

publisher = "Society for design and process science",

}