BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@article{TUW-216647,
    author = {Seyster, Justin and Dixit, Ketan and Huang, Xiowang and Grosu, Radu and Havelund, Klaus and Smolka, Scott A. and Stoller, Scott D. and Zadok, Erez},
    title = {InterAspect: aspect-oriented instrumentation with GCC},
    journal = {Formal Methods in System Design},
    year = {2012},
    volume = {41},
    number = {3},
    pages = {295--320},
    doi = {10.1007/s10703-012-0171-3},
    keywords = {Program instrumentation, Aspect-oriented programming, GCC, Monitoring, Tracecut}
}


1 Datensatz ausgegeben