Chernenko, I. M., Anureev, I. S., & Garanina, N. O. (2024). Requirement Patterns in Deductive Verification of poST Programs. Automatic control and computer sciences, 58(7), 1003-1024. https://doi.org/10.3103/S0146411624700421
Citácia podle Chicago (17th ed.)Chernenko, I. M., I. S. Anureev, a N. O. Garanina. "Requirement Patterns in Deductive Verification of PoST Programs." Automatic Control and Computer Sciences 58, no. 7 (2024): 1003-1024. https://doi.org/10.3103/S0146411624700421.
Citácia podľa MLA (8th ed.)Chernenko, I. M., et al. "Requirement Patterns in Deductive Verification of PoST Programs." Automatic Control and Computer Sciences, vol. 58, no. 7, 2024, pp. 1003-1024, https://doi.org/10.3103/S0146411624700421.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..