(1999). The formal semantics of PVS Sam Owre and Natarajan Shankar. [microform].
Style de citation Chicago (17e éd.)The Formal Semantics of PVS Sam Owre and Natarajan Shankar. [microform]. 1999.
Style de citation MLA (9e éd.)The Formal Semantics of PVS Sam Owre and Natarajan Shankar. [microform]. 1999.
Attention : ces citations peuvent ne pas être correctes à 100%.