Bibtex de la publication

@InProceedings{ deBoBaCa2010.1,
author = {de Michiel, Marianne and Bonenfant, Armelle and Ballabriga, Clément and Cassé, Hugues},
title = "{Partial Flow Analysis with oRange (short paper)}",
booktitle = "{ISoLA Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Heraklion, 18/10/2010-20/10/2010}",
year = {2010},
month = {octobre},
publisher = {Springer},
address = {http://www.springerlink.com},
series = {LNCS},
number = {6416},
pages = {479--482},
language = {anglais},
URL = {http://www.irit.fr/publis/TRACES/11831_isola.pdf}
}