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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..