Telecharger Cours

Machine Assisted Proofs of Recursion Implementation - ERA

Chapter 1. We present three case studies in which proof strategies are developed and (except in the third).



Download