De Angelis, E., Fioravanti, F., Pettorossi, A., & Proietti, M. (2017). Semantics-based generation of verification conditions via program specialization. Science of computer programming, 147, 78-108. https://doi.org/10.1016/j.scico.2016.11.002
Citace podle Chicago (17th ed.)De Angelis, E., F. Fioravanti, A. Pettorossi, a M. Proietti. "Semantics-based Generation of Verification Conditions via Program Specialization." Science of Computer Programming 147 (2017): 78-108. https://doi.org/10.1016/j.scico.2016.11.002.
Citace podle MLA (9th ed.)De Angelis, E., et al. "Semantics-based Generation of Verification Conditions via Program Specialization." Science of Computer Programming, vol. 147, 2017, pp. 78-108, https://doi.org/10.1016/j.scico.2016.11.002.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..