Shishkin, E. (2019). Debugging Smart Contract’s Business Logic Using Symbolic Model Checking. Programming and computer software, 45(8), 590-599. https://doi.org/10.1134/S0361768819080164
Citace podle Chicago (17th ed.)Shishkin, E. "Debugging Smart Contract’s Business Logic Using Symbolic Model Checking." Programming and Computer Software 45, no. 8 (2019): 590-599. https://doi.org/10.1134/S0361768819080164.
Citace podle MLA (9th ed.)Shishkin, E. "Debugging Smart Contract’s Business Logic Using Symbolic Model Checking." Programming and Computer Software, vol. 45, no. 8, 2019, pp. 590-599, https://doi.org/10.1134/S0361768819080164.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..