bibtex

@inproceedings{TBM1,
    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


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

info visites 4190662