Skip to content
cs-conference-ranking.org

Using Patterns to Map OCL Constraints to JML Specifications.

Ali Hamie

VenueCMODELSWARD
Year2014
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/Hamie14a ↗

Browse the full MODELSWARD paper archive.