@inproceedings{bobot:hal-00875395, TITLE = {{Preserving User Proofs Across Specification Changes}}, AUTHOR = {Bobot, Fran{\c c}ois and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude and Melquiond, Guillaume and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-00875395}, BOOKTITLE = {{Fifth Working Conference on Verified Software: Theories, Tools and Experiments}}, ADDRESS = {Atherton, United States}, EDITOR = {Ernie Cohen and Andrey Rybalchenko}, PUBLISHER = {{Springer}}, VOLUME = {8164}, PAGES = {191-201}, YEAR = {2013}, MONTH = May, PDF = {https://inria.hal.science/hal-00875395/file/main.pdf}, HAL_ID = {hal-00875395}, HAL_VERSION = {v1}, }