Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.

Mila Dalla Preda, Isabella Mastroeni

Browse the full ICSE paper archive.