Genetic Programming Bibliography entries for Alexander Sanchez-Stern

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.7615

GP coauthors/coeditors: Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Talia Ringer, Yuriy Brun,

Genetic Programming conference papers by Alexander Sanchez-Stern

• Arpan Agrawal and Emily First and Zhanna Kaufman and Tom Reichel and Shizhuo Zhang and Timothy Zhou and Alex Sanchez-Stern and Talia Ringer and Yuriy Brun. Proofster: Automated Formal Verification. In Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), pages 26-30, Melbourne, 2023. details