Congreso CAV 2010: 22nd International Conference on Computer Aided Verification
CAV (Computer Aided Verification) es una serie de congresos dedicados a la verificación asistida por ordenador de sistemas sofware y hardware. Este año se celebra el CAV 2010 en la Universidad de Edimburgo del 15 al 19 de Julio. La fecha para enviar artículos termina el 11 de Enero.