Professor Lawrence C Paulson

ACM Fellows

United Kingdom - 2008

citation

For contributions to theorem provers and verification techniques.