Bottesch, R., Haslbeck, M. W., Reynaud, A., & Thiemann, R. (2020). Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL. NASA Formal Methods.
Style de citation ChicagoBottesch, Ralph, Max W. Haslbeck, Alban Reynaud, et René Thiemann. "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL." NASA Formal Methods 2020.
Style de citation MLABottesch, Ralph, Max W. Haslbeck, Alban Reynaud, et René Thiemann. "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL." NASA Formal Methods 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.