Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alberto Salmeron
conf.researchr.org general profile
ISSTA 2017 profile
Registered user since Fri 7 Jul 2017
Name:
Alberto Salmeron
Contributions
2017
SPIN
Session Chair of Session 5: Code Verification (part of SPIN Full Paper)
Share
x
Thu 21 Nov 19:20