DEI Talk – Alexandra Mendes

Professor Alexandra Mendes will give the next DEI talk titled “Interactive theorem proving and software verification”, on December 5, at 1.30...