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

@inproceedings{TUW-141143,
    author = {Kandl, Susanne and Kirner, Raimund and Puschner, Peter},
    title = {Automated Formal Verification and Testing of C Programs for Embedded Systems},
    booktitle = {10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007)},
    year = {2007},
    pages = {373--381},
    publisher = {IEEE},
    isbn = {0-7695-2765-5},
    note = {talk: The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; 2007-05-07 -- 2007-05-09}
}


1 Datensatz ausgegeben