Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Using Verification Technology to Specify and Detect Malware
Title of conference publication:
Computer Aided Systems Theory – EUROCAST 2007
Subtitle of conference publication:
11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Series title:
Lecture Notes in Computer Science
Series volume:
4739
Conference title:
International Conference on Computer Aided Systems Theory (11., 2007, Las Palmas)
Venue:
Las Palmas de Gran Canaria
Year of conference:
2007
Date of conference beginning:
12.02.2007
Date of conference ending:
16.02.2007
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2007
Pages from - to:
497-504
Language:
Englisch
ISBN:
978-3-540-75867-9 ; 978-3-540-75866-2
Open Access yes or no?:
Nein / No
BibTeX