Incremental correct-by-construction of distributed systems

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur. Incremental correct-by-construction of distributed systems. Journal of Computer Languages, 57:100942, 2020. [doi]

Abstract

Abstract is missing.