Lins, R.
2025 dez  3.  The Turner 2-Strings Machines. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :