Verimag

bibtex

@article{BJ13,
    title = {Algorithmic program synthesis: introduction },
    author = {Bod\'{\i}k, Rastislav and Jobstmann, Barbara},
    year = {2013},
    journal = {STTT},
    number = {5},
    pages = {397-411},
    volume = {15},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 911459