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},
}


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

info visites 3900033