De Angelis, E., Fioravanti, F., Pettorossi, A., & Proietti, M. (2014). Program verification via iterated specialization. Science of computer programming, 95, 149-175. https://doi.org/10.1016/j.scico.2014.05.017
Citace podle Chicago (17th ed.)De Angelis, E., F. Fioravanti, A. Pettorossi, a M. Proietti. "Program Verification via Iterated Specialization." Science of Computer Programming 95 (2014): 149-175. https://doi.org/10.1016/j.scico.2014.05.017.
Citace podle MLA (9th ed.)De Angelis, E., et al. "Program Verification via Iterated Specialization." Science of Computer Programming, vol. 95, 2014, pp. 149-175, https://doi.org/10.1016/j.scico.2014.05.017.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..