Speaker
Carlos Mão de Ferro
ULisboa, Portugal.
Talks at this conference:
| 16:30 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software |
| 17:40 | Formalizing Model Inference of MicroPython |
Speaker
ULisboa, Portugal.
| 16:30 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software |
| 17:40 | Formalizing Model Inference of MicroPython |