Marisa Navarro   

Dirección / Address:

Marisa Navarro 
Dep. Lenguajes y Sistemas Informáticos
Facultad de Informática UPV-EHU
P.O. Box. 649, E-20080 Donostia - San Sebastián 
Gipuzkoa, Spain

Phone:(+34) 943 015072
Fax:
(+34) 943 015 590
e-mails: marisa.navarro@ehu.es  / marisa.navarro@ehu.eus

      Docencia / Teaching 

                Curso 2018-19:  Las asignaturas están disponibles en eGela (https://egela.ehu.es)

                Otras asignaturas y cursos de doctorado (impartidos en los últimos años):


        Investigación / Research

   

SpecSatisfiabilityTool for testing specifications on XML documents

                        

  TRS: A Resolution-based Theorem prover for Temporal Logic PLTL 

 


Marisa Navarro  (Last Modified: September 2018)