Bibtex de la publication

@Article{ BoFi2002.8,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Reduction and quantifier elimination techniques for program validation}",
journal = {Formal Methods in System Design},
year = {2002},
volume = {20},
number = {1},
pages = {69--89}
}