Modelling and verifying algorithms in Coq: an introduction
Pre-registration terms has expired. To register, please contact
Francesco Zappa Nardelli
.