Update References authored by Jaime Arias's avatar Jaime Arias
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
# Translators # Translators
* [attop](https://github.com/utwente-fmt/attop): Attack tree translator and Analyzer. [Official Repository](https://vcs.utwente.nl/source/AFTModel/) * [attop](https://github.com/utwente-fmt/attop): Attack tree translator and Analyzer ([Official Repository](https://vcs.utwente.nl/source/AFTModel/)). ATTop is a software bridging tool acting as a bridge between existing AT languages, and between ATs and formal languages.
* [Adt2Upp](https://github.com/utwente-fmt/Adt2Upp): Old version of `attop`. * [Adt2Upp](https://github.com/utwente-fmt/Adt2Upp): Old version of `attop`.
... ...
......