Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL

von Bottesch, Ralph
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)