ISSTA 2017 (series) / Pedro Merino Gomez
Not registered as user yet
Name:Pedro Merino Gomez
Contributions
| SPIN 2017 | Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 7: Model Checking (part of SPIN Short Paper) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2017-profile
View general profile
View general profile