Miguel Vítores
Universitat Politècnica de València(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Natural Language Processing Techniques, Formal Methods in Verification, Web Application Security Vulnerabilities, Semantic Web and Ontologies