bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093792