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

Sections de Publications


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

info visites 913445