Certifying System Translations Using Higher Order Theorem Provers
Ingenaaid — ISBN: 9783832522117
This thesis presents certifying system translations. This is a technique to guarantee the correctness of system translations. When conducting a transl…
€ 45,29
Leverbaar