bibtex

@article{LMM+11,
    title = {Liability issues in software engineering: the use of formal methods to reduce legal uncertainties },
    author = {Le M\'etayer, Daniel and Maarek, Manuel and Mazza, Eduardo and Potet, Marie-Laure and Fr\'enot, St\'ephane and Viet Triem Tong, Val\'erie and Craipeau, Nicolas and Hardouin, Ronan},
    year = {2011},
    journal = {Commun. ACM},
    number = {4},
    pages = {99-106},
    volume = {54},
    team = {DCS,PACSS},
    ee = {http://doi.acm.org/10.1145/1924421.1924444}, bibsource = {DBLP, http://dblp.uni-trier.de},
}


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

info visites 3900442