Telecharger Cours

Durham E-Theses - CORE

This thesis presents and analyses a solution to the problem of formally re- engineering program data structures, allowing new representations of a program ...



Download