bibtex

@incollection{Cas97a,
    title = {Aper\c{c}u du langage {L}ustre },
    author = {Caspi, Paul},
    year = {1997},
    booktitle = {Applications des M\'ethodes Formelles au Logiciel},
    institution = {{Observatoire fran\c{c}ais des techniques avanc\'ees}},
    publisher = {Masson},
    series = {Arago},
    volume = {20},
    team = {SYNC},
}


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

info visites 4190938