Xu, Y., & Norrish, M. (2020). Mechanised Modal Model Theory. Automated Reasoning.
Style de citation ChicagoXu, Yiming, et Michael Norrish. "Mechanised Modal Model Theory." Automated Reasoning 2020.
Style de citation MLAXu, Yiming, et Michael Norrish. "Mechanised Modal Model Theory." Automated Reasoning 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.