Publikationen 2026

• 2026
  • T. Bourke, P. Jeanmaire, M. Pouzet : “Une sémantique de Kahn mécanisée pour les machines à états”, JFLA 2026 – 37^es Journées Francophones des Langages Applicatifs, vol. JFLA 2026 – 37^es Journées Francophones des Langages Applicatifs, Oberbronn, France (2026)