LOPSTR
E355617
UNEXPLORED
LOPSTR is an international symposium focused on logic-based program development and transformation, bringing together research on program synthesis, analysis, verification, and related areas.