Logic-based Program Synthesis and Transformation (LOPSTR)

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