A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations | Publicación