Lab for Automated Reasoning and Analysis LARA

Computer Language Project Presentations Monday, 18 December 2017

Time Group Project
10:15 23.4 Custom operators
10:30 2 Improved Parameters
10:45 18,20,40 Virtual Machine
 
cc17/project_presentations_monday.txt · Last modified: 2017/12/18 09:40 by vkuncak