Reference:

Andreas Holzer, Johannes Kinder, and Helmut Veith. Using verification technology to specify and detect malware. In 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007), Lecture Notes in Computer Science. Springer, To appear.

Suggested BibTeX entry:

@inproceedings{eurocast07,
    author = {Andreas Holzer and Johannes Kinder and Helmut Veith},
    booktitle = {11th International Conference on Computer Aided Systems Theory (EUROCAST 2007)},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Using Verification Technology to Specify and Detect Malware},
    year = {To appear}
}