Registered user since Thu 13 Apr 2017

Name: Mark Santolucito

Personal website: http://marksantolucito.com/

ISSTA 2017 Activities

• Author of Version Space Learning for Verification on Temporal Differentials within the Doctoral Symposium-track in ISSTA 2017
• Show activities from other conferences