Microsoft Research and the IMDEA Software Institute are collaborating on advances in verification, programming languages, and securitiy, as evidenced in a workshop being held in Madrid from April 2 to 4.
↧