@inproceedings{bonfante:inria-00175301, TITLE = {{A Classification of Viruses through Recursion Theorems}}, AUTHOR = {Bonfante, Guillaume and Kaczmarek, Matthieu and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00175301}, NOTE = {The original publication is available at www.springerlink.com ; ISBN 978-3-540-73000-2 ; ISSN 0302-9743 (Print) 1611-3349 (Online)}, BOOKTITLE = {{Computability in Europe}}, ADDRESS = {Sienna, Italy}, EDITOR = {S. Barry Cooper and Benedikt L{\"o}we and Andrea Sorbi}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {4497}, PAGES = {73-82}, YEAR = {2007}, MONTH = Jun, DOI = {10.1007/978-3-540-73001-9\_8}, KEYWORDS = {Computer viruses ; polymorphism ; propagation ; recursion theorem ; iteration theorem. ; iteration theorem}, PDF = {https://inria.hal.science/inria-00175301/file/bonfante.a_classification_of_computer_viruses_through_recursion_theorems.pdf}, HAL_ID = {inria-00175301}, HAL_VERSION = {v1}, }