A Framework for Flexible Program Evolution and Verification of Distributed Systems.
Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin
VenueCMODELSWARD
Year2019
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/OweFL19 ↗
Browse the full MODELSWARD paper archive.