Perfeziona i miei risultati
Document type
Institution
Collection spécifique
Lingua
- Inglese (1)
Autore
- Pezzè, Mauro (Dir.) (1)
- Wuttke, Jochen (1)
Parola chiave
- Code generation (1)
- Constraint checking (1)
- Modeling (1)
- Reliability (1)
- Runtime verification (1)
- Software design (1)