bibtex

@misc{RDH+3,
    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, PACSS},
}


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

info visites 3901681