Assal\'e Adj\'e (Toulouse)

Identifiers

No identifiers captured yet.

Papers (1)

1. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Pierre-Lo\"ic Garoche (Toulouse) 1 shared papers
• Victor Magron 1 shared papers