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
Stefano Forti
Stefano Forti
Assistant Professor

Assistant Professor @ University of Pisa, Italy.

Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.