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