Formal verification of an interior point algorithm instanciation

Publication
CoRR
Avatar
Guillaume Davy
Formal method Engineer @ Alstom

Related