Angelo Brillout

From MaRDI portal
Person:438553

Available identifiers

zbMath Open brillout.angeloMaRDI QIDQ438553

List of research outcomes





PublicationDate of PublicationType
An interpolating sequent calculus for quantifier-free Presburger arithmetic2012-07-31Paper
Beyond quantifier-free interpolation in extensions of Presburger arithmetic2011-02-15Paper
Mutation-Based Test Case Generation for Simulink Models2011-01-08Paper
An interpolating sequent calculus for quantifier-free Presburger arithmetic2010-09-14Paper

Research outcomes over time

This page was built for person: Angelo Brillout

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:438553&oldid=7035611"
Powered by MediaWiki