Registered user since Wed 5 Feb 2020
Name: José Miguel Pérez-Álvarez
Country: France
Affiliation: NAVER LABS Europe
Personal website: https://europe.naverlabs.com/people_user/jose-miguel-p%C3%A9rez-%C3%81lvarez
Contributions
| ICSE 2020 | From Abstract Specifications to Application Generation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2020-profile
View general profile
View general profile