Seminar details


Room 206 (2nd floor, badged access)

30 August 2021 - 14h00
Vellvm semantics
by Yannick Zakowski from LIP



Abstract: Formalization of VellVM semantics using interaction trees




Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4003212