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},
}


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

info visites 3899908