Verimag

bibtex

@misc{RDH+03,
    title = {Space-Reduction Strategies for Model Checking Dynamic Software },
    author = {Robby, and Dwyer, Matthew B. and Hatcliff, John and Iosif, Radu},
    year = {2003},
    journal = {Electr. Notes Theor. Comput. Sci.},
    number = {3},
    pages = {499-517},
    volume = {89},
    team = {DCS},
}

Publication Sections


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

Logged in visitors: 13 ; visits: 460987