Slide 1 Modeling Database Recovery An Exercise in Stepwise Refinement Egon Börger Dipartimento di Informatica, Universita di Pisa http://www.di.unipi.it/~boerger Slide 2…
