José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Formal Methods
Programs for the physical world -- describing vehicles and fireflies
Joint work between [HasLAB/INESC TEC](https://haslab.pt/) and [CISTER/ISEP](http://cister-labs.pt), to develop a programming language with differential equations.
Cite
×