@inproceedings{bonfante:inria-00115208, TITLE = {{Toward an abstract computer virology}}, AUTHOR = {Bonfante, Guillaume and Kaczmarek, Matthieu and Marion, Jean-Yves}, URL = {https://inria.hal.science/inria-00115208}, BOOKTITLE = {{Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005}}, ADDRESS = {Hano{\"i}/Vietnam}, EDITOR = {Dang Van Hung and Martin Wirsing}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {3722}, PAGES = {579-593}, YEAR = {2005}, MONTH = Oct, DOI = {10.1007/11560647\_38}, KEYWORDS = {Computability ; Computer virology ; recursion theorem ; iteration theorem}, PDF = {https://inria.hal.science/inria-00115208/file/ictac05.pdf}, HAL_ID = {inria-00115208}, HAL_VERSION = {v1}, }