Moreno Falaschi

Identifiers

No identifiers captured yet.

Papers (3)

1. An Assertion language for slicing Constraint Logic Languages cs.LO · 2018 · author #1
2. Slicing Concurrent Constraint Programs cs.LO · 2016 · author #1
3. Automatic Verification of Timed Concurrent Constraint Programs cs.LO · 2005 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Carlos Olarte 2 shared papers
• Alicia Villanueva 1 shared papers
• Catuscia Palamidessi 1 shared papers
• Maurizio Gabbrielli 1 shared papers