Bibtex de la publication

@InProceedings{ Ru2015.1,
author = {Ruiz, Jordy and Cassé, Hugues},
title = "{Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs (regular paper)}",
booktitle = "{Workshop on Worst-Case Execution Time Analysis, Lund, Sweden, 07/07/2015}",
year = {2015},
month = {juillet},
publisher = {OASICs, Dagstuhl Publishing},
address = {http://drops.dagstuhl.de/opus/institut_oasics.php?fakultaet=03},
pages = {95--104},
language = {anglais},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5260/pdf/11.pdf - http://oatao.univ-toulouse.fr/15319/}
}