Agrawal, A., First, E., Kaufman, Z., Reichel, T., Zhang, S., Zhou, T., . . . Brun, Y. (2023, May). PRoofster: Automated Formal Verification. Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), 26-30. https://doi.org/10.1109/ICSE-Companion58688.2023.00018
Chicago-Zitierstil (17. Ausg.)Agrawal, Arpan, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, und Yuriy Brun. "PRoofster: Automated Formal Verification." Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) May. 2023: 26-30. https://doi.org/10.1109/ICSE-Companion58688.2023.00018.
MLA-Zitierstil (9. Ausg.)Agrawal, Arpan, et al. "PRoofster: Automated Formal Verification." Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), May. 2023, pp. 26-30, https://doi.org/10.1109/ICSE-Companion58688.2023.00018.