Infoscience
27th International Conference on Computer-Aided Verification
July 18-24, 2015
San Francisco, CA, USA