@Inproceedings{EPTCS216.3, author = {Cohen, Julien}, year = {2016}, title = {Renaming Global Variables in C Mechanically Proved Correct}, editor = {Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P.}, booktitle = {{\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {216}, publisher = {Open Publishing Association}, pages = {50-64}, doi = {10.4204/EPTCS.216.3}, }