ISSTA 2017 (series) / Mark Santolucito
Registered user since Thu 13 Apr 2017
Name: Mark Santolucito
Personal website: http://marksantolucito.com/
Contributions
| ISSTA 2017 | Author of Version Space Learning for Verification on Temporal Differentials within the Doctoral Symposium-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2017-profile
View general profile
View general profile