Using Patterns to Map OCL Constraints to JML Specifications

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

Fingerprint Dive into the research topics of 'Using Patterns to Map OCL Constraints to JML Specifications'. Together they form a unique fingerprint.

Engineering & Materials Science