Slide 1 Computation and Specification Models A Comparative Study Egon Börger Dipartimento di Informatica, Universita di Pisa http://www.di.unipi.it/~boerger Slide 2 © Egon…
