Logic-based Program Synthesis and Transformation

Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès