Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Brasilien |
|---|---|
| Ort | Brasilia |
| Universität/Institution | Universidade de Brasilia (UnB) |
| Institut/Abteilung | Departamento de Ciencia da Computacao (CIC) |
Profil
| Fachgebiet | Softwaretechnik und Programmiersprachen,Theoretische Informatik |
|---|---|
| Keywords | analysis, correctness proofs, Software product line, return-on-investment, Implementation |