@inproceedings{blatter:cea-01835491, TITLE = {{RPP : Preuve automatique de propri{\'e}t{\'e}s relationnelles par Self-Composition}}, AUTHOR = {Blatter, Lionel and Kosmatov, Nikolai and Le Gall, Pascale and Pr{\'e}vosto, Virgile}, URL = {https://cea.hal.science/cea-01835491}, BOOKTITLE = {{Approches Formelles pour l'Assistance au D{\'e}veloppement de Logiciels - AFADL}}, ADDRESS = {Grenoble, France}, YEAR = {2018}, MONTH = Jun, PDF = {https://cea.hal.science/cea-01835491/file/rpp.pdf}, HAL_ID = {cea-01835491}, HAL_VERSION = {v1}, }