bibtex

@inproceedings{BGQ10b,
    title = {Reasoning about Safety and Progress Using Contracts },
    author = {Ben-Hafaiedh, Imene and Graf, Susanne and Quinton, Sophie},
    year = {2010},
    booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings},
    pages = {436-451},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {6447},
    team = {DCS},
}


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

info visites 3900496