Pirog, M., & Biernacki, D. (2010). A systematic derivation of the STG machine verified in Coq. ACM.
Style de citation Chicago (17e éd.)Pirog, M., et D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
Style de citation MLA (9e éd.)Pirog, M., et D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
Attention : ces citations peuvent ne pas être correctes à 100%.