Genetic Programming Bibliography entries for Zhanna Kaufman

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

GP coauthors/coeditors: Arpan Agrawal, Emily First, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alexander Sanchez-Stern, Talia Ringer, Yuriy Brun,

Genetic Programming conference papers by Zhanna Kaufman

• 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