Date:
Sunday, July 19, 2015
Venue: San Francisco, USA
Sergiy Bogomolov co-organizes Workshop on Symbolic and Numerical Methods for Reachability Analysis.
Don’t miss it!
