Combining Verification and MDE Illustrated by a Formal Java Development.
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
VenueNationalICTERI
Year2012
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/DjeddaiMS12a ↗
Browse the full ICTERI paper archive.