Viciano Negre, Pablo(Universitat Politècnica de València, 2012-11-29)
[ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el
lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a
modelos que ...