Bibtex de la publication

@Article{ BoFi1998.6,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Techniques de preuve automatique pour la validation de programmes}",
journal = {Technique et science informatiques},
publisher = {hermes},
address = {Paris},
year = {1998},
month = {novembre},
volume = {17},
number = {9},
pages = {1129--1155}
}