Continuous Reasoning for Managing Next-Gen Distributed Applications

Stefano Forti, Antonio Brogi
January 2020
Cite DOI
Type
Conference paper
Publication
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020

Add the full text or supplementary notes for the publication here using Markdown formatting.