Verimag

bibtex

@inproceedings{TBM11,
    title = { A refinement methodology for object-oriented programs },
    author = {Tafat, Asma and Boulm\'e, Sylvain and March\'e, Claude},
    year = {2011},
    booktitle = {Formal Verification of Object-Oriented Software},
    series = {Lecture Notes in Computer Science},
    volume = {6528},
    team = {DCS,PACSS},
}

URL

Publication Sections


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

info visites 803405