Publications

Filters: Author is Moreno Falaschi  [Clear All Filters]
2015
M. Falaschi, C. Olarte, and C. Palamidessi, “Abstract interpretation of temporal concurrent constraint programs”, Theory and Practice of Logic Programming, vol. 15, p. 312–357, 2015.