Ciobâcă, Ş., Lucanu, D., Rusu, V., & Roşu, G. (2016). A language-independent proof system for full program equivalence. Formal aspects of computing, 28(3), 469-497. https://doi.org/10.1007/s00165-016-0361-7
Citácia podle Chicago (17th ed.)Ciobâcă, Ştefan, Dorel Lucanu, Vlad Rusu, a Grigore Roşu. "A Language-independent Proof System for Full Program Equivalence." Formal Aspects of Computing 28, no. 3 (2016): 469-497. https://doi.org/10.1007/s00165-016-0361-7.
Citácia podľa MLA (8th ed.)Ciobâcă, Ştefan, et al. "A Language-independent Proof System for Full Program Equivalence." Formal Aspects of Computing, vol. 28, no. 3, 2016, pp. 469-497, https://doi.org/10.1007/s00165-016-0361-7.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..