Incremental correct-by-construction of distributed systems
Benyagoub, Sarah, Ouederni, Meriem, Aït-Ameur, YamineVolume:
57
Journal:
Journal of Computer Languages
DOI:
10.1016/j.cola.2020.100942
Date:
April, 2020
File:
PDF, 9.14 MB
2020