Quelques extensions de la logique de séparation

FR
EN

Xavier Leroy Collège de France

Sciences du logiciel / Logiques de programmes : quand la machine raisonne sur ses logiciels

01 avril 2021 09:30 11:00 Cours Amphithéâtre Guillaume Budé - Marcelin Berthelot