José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Nuno Macedo
Latest
Teaching how to program using automated assessment and functional glossy games (experience report)
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Cite
×