DMCA

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs?

Cached

Download Links

by Assalé Adjé , Pierre-loïc Garoche
Citations:1 - 0 self