Seminars

Links' Seminars and Public Events Add to google calendar
Fri, September 22, 2023
11:00 am
12:00 pm
Add event to google
Séminaire Théo Losekoot
Title: Automata-based verification of relational properties of functions over algebraic data structures

Permanent link to this article: https://team.inria.fr/links/seminars/