Bibtex de la publication

@Article{ BoChFiSt2005.4,
author = {Bodeveix, Jean-Paul and Chemouil, David and Filali, Mamoun and Strecker, Martin},
title = "{Towards formalising AADL in Proof Assistants}",
journal = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2005},
month = {août},
volume = {141},
pages = {153--169},
language = {anglais}
}