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 ChicagoBottesch, 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引文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.
警告：這些引文格式不一定是100％准確.