Login / Signup

Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations.

Fabian Immler
Published in: NASA Formal Methods (2014)
Keyphrases