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

Publication Sections


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

info visites 1201856