Skip to main content

Marco Peressotti

Assistant Professor

Phone: +45 65 50 90 26
Email: peressotti@sdu.dk
Webpage: https://marcoperessotti.com/

Keywords: Formal methods.