@techreport{BCP96,
title = {Handling data-flows programs in {PVS} },
author = {Bensalem, Saddek and Caspi, Paul and Parent-Vigouroux, Catherine},
month = {december},
year = {1996},
institution = {VERIMAG},
number = {96},
team = {SYNC},
}
