Bibtex de la publication

@Article{ GaPaTh2007.3,
author = {Garoche, Pierre-Loïc and Pantel, Marc and Thirioux, Xavier},
title = "{Abstract Interpretation-based Static Safety for Actors}",
journal = {Journal of Software},
publisher = {Academy Publisher},
address = {http://www.academypublisher.com},
year = {2007},
month = {septembre},
volume = {2},
number = {3},
pages = {87--98},
language = {anglais}
}