@inproceedings{PCousot-JFLA-16, author = {Patrick Cousot}, title = {Construction of invariance proof methods for parallel programs with sequential consistency}, booktitle = {Proceedings of the 27\raisebox{0.5ex}{\scriptsize es} Journ\'ees Francophones des Langages Applicatifs, JFLA 2016, Saint Malo, France, January 27--30, 2016}, pages = {55--61}, year = {2016}, editor = {Jade Alglave and Julien Signoles}, publisher = {{INRIA}}, url = {http://jfla.inria.fr/2016}, } \bibitem{PCousot-JFLA-16} Patrick Cousot. \newblock Construction of invariance proof methods for parallel programs with sequential consistency. \newblock In \emph{27th Journ\'ees Francophones des Langages Applicatifs}, Jade Alglave and Julien Signoles (Eds.), Saint-Malo, France, 27-30 January 2016, INRIA, pp. 55--61, 2016.