https://2022.ecoop.org/track/ftfjp-2022
FTfJP 2022 - Workshop on Formal Techniques for Java-like Programs - ECOOP 2022
Participation: Participation in the workshop is hybrid as with ECOOP 2022, but registration through the ECOOP registration system is required. As a hybrid...
for javaftfjpworkshopformal