Verimag

bibtex

@inproceedings{JR13,
    title = {Preface },
    author = {Jobstmann, Barbara and Ray, Sandip},
    year = {2013},
    booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013},
    publisher = {IEEE},
    team = {DCS},
}

Publication Sections


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

info visites 819446