Celebrating the accepted TACAS 2024 paper for Cyrille Artho, Pavel Parizek, Daohan Qu, Varadraj Galgali, and Pu Yi "JPF: From 2003 to 2023."
Heartfelt appreciation to GSoC for playing a pivotal role in making this paper a reality. 🎉 #GSoC#TACAS2024#KTH#CUNI#NJU#SU
