Verimag

bibtex

@inproceedings{ZHL+96,
    title = {Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development },
    author = {Zwiers, Job and Hannemann, Ulrich and Lakhnech, Yassine and Stomp, Frank and De Roever, Willem-Paul},
    year = {1996},
    booktitle = {Formal Methods Europe, FME'96 Symposium},
    series = {Lecture Notes in Computer Science},
    volume = {1051},
    team = {DCS},
}

Publication Sections


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

info visites 775547