bibtex

@article{BBH+11,
    title = {Programs with lists are counter automata },
    author = {Bouajjani, Ahmed and Bozga, Marius and Habermehl, Peter and Iosif, Radu and Moro, Pierre and Vojnar, Tom{\'a}s},
    year = {2011},
    journal = {Formal Methods in System Design},
    number = {2},
    pages = {158-192},
    volume = {38},
    team = {DCS,PACSS},
}


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

info visites 4095731