Verimag

bibtex

@article{IS03,
    title = {Temporal logic properties of Java objects },
    author = {Iosif, Radu and Sisto, Riccardo},
    year = {2003},
    journal = {Journal of Systems and Software},
    number = {3},
    pages = {243-251},
    volume = {68},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 641056