Home > Verimag > Seminars

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.4.5 + AHUNTSIC [CC License]

info visites 5228595

UGA

CNRS

INP Grenoble