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

@inproceedings{TUW-180557,
    author = {Kirner, Raimund},
    title = {Towards Automatic Verification of Structural Code-Coverage Preservation},
    booktitle = {Timing Analysis and Symbolic Computation, TASCo 2009},
    year = {2009},
    numpages = {1},
    note = {talk: Timing Analysis and Symbolic Computation, TASCo 2009, Wien; 2009-02-04 -- 2009-02-05}
}


1 Datensatz ausgegeben