APA Citation

Bottesch, R., Haslbeck, M. W., Reynaud, A., & Thiemann, R. (2020). Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL. NASA Formal Methods.

Citação norma Chicago

Bottesch, Ralph, Max W. Haslbeck, Alban Reynaud, and René Thiemann. "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL." NASA Formal Methods 2020.

MLA Citation

Bottesch, Ralph, Max W. Haslbeck, Alban Reynaud, and René Thiemann. "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL." NASA Formal Methods 2020.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.