Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, and Brun, Yuriy. PRoofster: Automated Formal Verification. Retrieved from https://par.nsf.gov/biblio/10461013. Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE) . Web. doi:10.1109/ICSE-Companion58688.2023.00018.

Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, & Brun, Yuriy. PRoofster: Automated Formal Verification. Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), (). Retrieved from https://par.nsf.gov/biblio/10461013. https://doi.org/10.1109/ICSE-Companion58688.2023.00018

Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, and Brun, Yuriy. "PRoofster: Automated Formal Verification". Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE) (). Country unknown/Code not available. https://doi.org/10.1109/ICSE-Companion58688.2023.00018. https://par.nsf.gov/biblio/10461013.

@article{osti_10461013,
place = {Country unknown/Code not available}, title = {PRoofster: Automated Formal Verification}, url = {https://par.nsf.gov/biblio/10461013}, DOI = {10.1109/ICSE-Companion58688.2023.00018}, abstractNote = {}, journal = {Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE)}, author = {Agrawal, Arpan and First, Emily and Kaufman, Zhanna and Reichel, Tom and Zhang, Shizhuo and Zhou, Timothy and Sanchez-Stern, Alex and Ringer, Talia and Brun, Yuriy}, }