Bibtex de la publication

@InProceedings{ Ba2015.10,
author = {Babin, Guillaume and Ait Ameur, Yamine and Nakajima, Shin and Pantel, Marc},
title = "{Refinement and Proof Based Development of Systems Characterized by Continuous Functions (regular paper)}",
booktitle = "{International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), Nanjing, Chine, 04/11/2015-06/11/2015}",
editor = {Li, Xuandong and Liu, Zhiming and Yi, Wang},
year = {2015},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {9409},
series = {Lecture Notes in Computer Science},
pages = {55--70},
language = {anglais},
URL = {http://dx.doi.org/10.1007/978-3-319-25942-0_4}
}