2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applications Event-B/DataStructures.6 Question 1: A Stack Abstract Machine (a) TO DO: Add this machine to the project DataStructures Use the interactive prover to prove any Proof Obligation that RODIN has not done automatically
{}