Marisa Navarro
Computer Languages and Systems
Universidad del PaÃs Vasco
Spain
Biography
Marisa Navarro is Professor from Department of Computer Languages and Systems in University of the Basque Country. Navarro is profound in Programming Languages, Theory of Computation
Research Interest
Programming Languages, , Theory of Computation Computer Science Principles, Formal Methods, Functional Programming, Formal Semantics, Algebraic Graph Theory, Logic Programming
Publications
-
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents
