Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Formal verification of an interior point algorithm instanciation
Guillaume Davy
,
Eric Féron
,
Pierre-Loïc Garoche
,
Didier Henrion
January 2018
PDF
Type
Report
Guillaume Davy
Formal method Engineer @ Alstom
Cite
×