Using Verification Technology to Specify and Detect Malware. / Holzer, Andreas; Kinder, Johannes; Veith, Helmut.
11th Int. Conf. Computer Aided Systems Theory (Eurocast 2007), Revised Selected Papers. Springer, 2007. p. 497-504.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 80.8 KB, PDF document
Original language | English |
---|---|
Title of host publication | 11th Int. Conf. Computer Aided Systems Theory (Eurocast 2007), Revised Selected Papers |
Publisher | Springer |
Pages | 497-504 |
DOIs | |
Publication status | Published - Feb 2007 |
ID: 17566482