Verimag

bibtex

@inproceedings{HIR+07,
    title = {Proving Termination of Tree Manipulating Programs },
    author = {Habermehl, Peter and Iosif, Radu and Rogalewicz, Adam and Vojnar, Tom{\'a}s},
    year = {2007},
    booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
    pages = {145-161},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4762},
    team = {DCS},
}

Sections de Publications


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

Visiteurs connectés : 18 ; visites : 441386