
The CakeML Project: Chasing End-to-End Correctness, Verified Compilation and Applications
Speaker: Magnus O. Myreen, Chalmers University of Technology, Gothenburg, Sweden
Questo nome di dominio è in vendita, contattaci!
Speaker: Magnus O. Myreen, Chalmers University of Technology, Gothenburg, Sweden