VERDI 2023

Speaker

Tiago Cogumbreiro

University of Massachusetts Boston, United States.

Talks at this conference:
 17:40 Formalizing Model Inference of MicroPython

 Overview