Towards a categorical framework to ensure correct software evolutions.

Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat

Browse the full ICDE paper archive.