ISSTA 2017 (series) / Alberto Salmeron
Registered user since Fri 7 Jul 2017
Name:Alberto Salmeron
Contributions
SPIN 2017 | Session Chair of Session 5: Code Verification (part of SPIN Full Paper) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile