BRAIN : Backward Reachability Analysis with Integers

Tatiana Rybina, Andrei Voronkov, Hélène Kirchner (Editor), Christophe Ringeissen (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this