Home 2017

Archives

Improving trust in computer systems using formal proofs

Dale Miller, Inria, Université Paris-Saclay, LIX, École Polytechnique, and CNRS highlights the role formal proofs can have in ensuring trust in computer systems

Follow Us

Advertisements