Gianluca Redondi

PhD Student

Gianluca Redondi
E-mail

Publications

  1. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Verification of SMT Systems with Quantifiers
  2. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning

Recent PostsGianluca Redondi

  • No articles found.