María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
On-the-Fly Data Flow Analysis Based on Verification Technology
COCV, 2007.
@article{COCV-2007-GallardoJM,
author = "María-del-Mar Gallardo and Christophe Joubert and Pedro Merino",
doi = "10.1016/j.entcs.2007.09.006",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 4,
pages = "33--48",
title = "{On-the-Fly Data Flow Analysis Based on Verification Technology}",
volume = 190,
year = 2007,
}