Login / Signup

Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022).

Alicia Villanueva
Published in: CoRR (2022)
Keyphrases