@inproceedings{bonfante:inria-00115368, TITLE = {{Abstract Detection of Computer Viruses}}, AUTHOR = {Bonfante, Guillaume and Kaczmarek, Matthieu and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00115368}, BOOKTITLE = {{Third Workshop on Applied Semantics - APPSEM'05}}, ADDRESS = {Frauenchiemsee, Germany}, YEAR = {2005}, MONTH = Sep, KEYWORDS = {Computer virology ; computability ; recursion theorem ; iteration theorem ; detection}, PDF = {https://inria.hal.science/inria-00115368/file/APPSEM05.pdf}, HAL_ID = {inria-00115368}, HAL_VERSION = {v1}, }