Enrico Scapin
31
Seguidores
Personal Information
Organización/Lugar de trabajo
Trier, Germany
Ocupación
Universität Trier
Etiquetas
bytecode etaps static analysis
property assertion
software verification
Ver más
- Presentaciones
- Documentos
- Infografías