Infoscience
22nd International Conference on Computer Aided Verification
July 15-19, 2010
Edinburgh, Scotland, UK