Santiago Escobar

ORCID iD
https://orcid.org/0000-0002-3550-4781
  • Country
  • Show details Hide details
Spain

Sources:
Santiago Escobar (2016-01-24)

  • Keywords
  • Show details Hide details
formal methods, verification, security, rewriting, narrowing, model checking, evaluation strategies

Sources:
Santiago Escobar (2016-05-03)

  • Websites
  • Show details Hide details
Homepage

Sources:
Santiago Escobar (2016-05-03)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 6701593474

Sources:
Scopus - Elsevier (2015-07-15)

ResearcherID: C-9589-2012

Sources:
ResearcherID (2015-07-15)

Loop profile: 173727

Sources:
Loop (2016-05-02)

Biography

Formal methods, Security, Verification, Term Rewriting

Record last modified {{lastModifiedDate}}