Verimag

bibtex

@inproceedings{BBF+92,
    title = {Provably Correct Compiler Development and Implementation },
    author = {Buth, Bettina and Buth, Karl-Heinz and Fr\"anzle, Martin and Karger, Burghard and Lakhnech, Yassine and Langmaack, Hans and M\"uller-Olm, Markus},
    year = {1992},
    booktitle = {Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings},
    pages = {141-155},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {641},
    team = {DCS},
}

Publication Sections


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

info visites 898595