bibtex

@article{IDH05,
    title = {Translating Java for Multiple Model Checkers: The Bandera Back-End },
    author = {Iosif, Radu and Dwyer, Matthew B. and Hatcliff, John},
    year = {2005},
    journal = {Formal Methods in System Design},
    number = {2},
    pages = {137-180},
    volume = {26},
    team = {DCS,PACSS},
}


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

info visites 3900078