Bibtex de la publication

@InProceedings{ Si2017.2,
author = {Siala, Badr and Bodeveix, Jean-Paul and Filali, Mamoun and Bhiri, Tahar},
title = "{Automatic Refinement for Event-B through Annotated Patterns (short paper)}",
booktitle = "{Euromicro International Conference on Parallel, Distributed and network-based Processing, St. Petersburg, Russia, 06/03/2017-08/03/2017}",
editor = {Kotenko, Igor and Cotronis, Yiannis and Daneshtalab, Masoud},
year = {2017},
month = {mars},
publisher = {IEEE},
address = {http://www.ieee.org/},
pages = {287--290},
language = {anglais}
}