Certification of Cash Registers Software.
Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni
VenueCMODELSWARD
Year2016
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/BiscoglioLT16a ↗
Browse the full MODELSWARD paper archive.