Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur. Incremental correct-by-construction of distributed systems. Journal of Computer Languages, 57:100942, 2020. [doi]
@article{BenyagoubOA20, title = {Incremental correct-by-construction of distributed systems}, author = {Sarah Benyagoub and Meriem Ouederni and Yamine Aït Ameur}, year = {2020}, doi = {10.1016/j.cola.2020.100942}, url = {https://doi.org/10.1016/j.cola.2020.100942}, researchr = {https://researchr.org/publication/BenyagoubOA20}, cites = {0}, citedby = {0}, journal = {Journal of Computer Languages}, volume = {57}, pages = {100942}, }