Coma: an intermediate verification language with explicit abstraction barriers

NOVA LINCS Seminar by Paul Patault (Université Paris-Saclay and Laboratoire Méthodes Formelles), 18 Mars 2026, 14h00