LING, S., & SCIENCE, C. (2014). Comparative Studies, Formal Semantics and PVS Encoding of CSP#.
استشهاد بنمط شيكاغوLING, SHI, و COMPUTER SCIENCE. Comparative Studies, Formal Semantics and PVS Encoding of CSP#. 2014.
MLA استشهادLING, SHI, و COMPUTER SCIENCE. Comparative Studies, Formal Semantics and PVS Encoding of CSP#. 2014.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.