Incremental correct-by-construction of distributed systems

Incremental correct-by-construction of distributed systems

Benyagoub, Sarah, Ouederni, Meriem, Aït-Ameur, Yamine
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
57
Journal:
Journal of Computer Languages
DOI:
10.1016/j.cola.2020.100942
Date:
April, 2020
File:
PDF, 9.14 MB
2020
Conversion to is in progress
Conversion to is failed