Parsert, J. (2024). Linear Programming in Isabelle/HOL.
Style de citation Chicago (17e éd.)Parsert, Julian. Linear Programming in Isabelle/HOL. 2024.
Style de citation MLA (9e éd.)Parsert, Julian. Linear Programming in Isabelle/HOL. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.