APA引文

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引文

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%准確.