@inproceedings{GLM8,
title = {Compositional Verification in Action },
author = {Garavel, Hubert and Lang, Frederic and Mounier, Laurent},
year = {2018},
booktitle = {{FMICS}},
pages = {189--210},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11119},
team = {PACSS, axe_Pacs},
}
