Mapping OCL-constrained models to JML specifications
Hamie, A. (2004) Mapping OCL-constrained models to JML specifications In: Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003. Society for design and process science, Grandview, Texas, USA.Full text not available from this repository.
Actions (login required)
Downloads per month over past year