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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 18 ; visits: 392271