Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Using Verification Technology to Specify and Detect Malware
Titel Konferenzpublikation:
Computer Aided Systems Theory – EUROCAST 2007
Untertitel Konferenzpublikation:
11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
4739
Konferenztitel:
International Conference on Computer Aided Systems Theory (11., 2007, Las Palmas)
Tagungsort:
Las Palmas de Gran Canaria
Jahr der Konferenz:
2007
Datum Beginn der Konferenz:
12.02.2007
Datum Ende der Konferenz:
16.02.2007
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2007
Seiten von - bis:
497-504
Sprache:
Englisch
ISBN:
978-3-540-75867-9 ; 978-3-540-75866-2
URL zum Inhalt:
Open Access ja oder nein?:
Nein / No
BibTeX