Verification of atomicity preservation in model-to-code transformations using generic Java code

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

Fingerprint Dive into the research topics of 'Verification of atomicity preservation in model-to-code transformations using generic Java code'. Together they form a unique fingerprint.

Engineering & Materials Science