Verimag

bibtex

@article{'BHO4',
    title = { Verification and validation meet planning and scheduling },
    author = {Bensalem, Saddek and Havelund, Klaus and Orlandini, Andrea},
    year = {2014},
    journal = {{STTT}},
    number = {1},
    pages = {1--12},
    volume = {16},
    team = {DCS, RSD},
}

URL

Publication Sections


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

info visites 914237