bibtex

@inproceedings{JRB04,
    title = { Case Studies with Lurette V2 },
    author = {Jahier, Erwan and Raymond, Pascal and Baufreton, Philippe},
    month = {oct},
    year = {2004},
    booktitle = {1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004},
    address = {Paphos, Cyprus},
    team = {SYNC},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4137649