Adrian Riesco

ORCID iD
orcid.org/0000-0002-9716-4612
  • Also known as
  • Show details Hide details
Adrián Riesco

Sources:
Adrian Riesco (2016-04-04)

  • Country
  • Show details Hide details
Spain

Sources:
Adrian Riesco (2016-04-04)

  • Keywords
  • Show details Hide details
Maude,

Sources:
Adrian Riesco (2016-04-04)

Debugging,

Sources:
Adrian Riesco (2016-04-04)

Formal methods

Sources:
Adrian Riesco (2016-04-04)

  • Websites
  • Show details Hide details
http://maude.sip.ucm.es/~adrian/

Sources:
Adrian Riesco (2016-04-01)

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

Sources:
Scopus to ORCID (2016-06-02)

ResearcherID: I-5959-2016

Sources:
ResearcherID (2016-06-08)

  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No Funding added yet
No publications added yet