Speaker
Francisco Martins
Universidade dos Açores, Portugal.
Talks at this conference:
| 16:30 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software |
| 17:40 | Formalizing Model Inference of MicroPython |
Speaker
Universidade dos Açores, Portugal.
| 16:30 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software |
| 17:40 | Formalizing Model Inference of MicroPython |