Eerke A. Boiten

ORCID iD
https://orcid.org/0000-0002-9184-8968
  • Keywords
  • Show details Hide details
formal methods for cryptography,

Sources:
Eerke A. Boiten (2013-03-08)

integrated formal methods,

Sources:
Eerke A. Boiten (2013-03-08)

refinement,

Sources:
Eerke A. Boiten (2013-03-08)

state-based systems,

Sources:
Eerke A. Boiten (2013-03-08)

viewpoint consistency,

Sources:
Eerke A. Boiten (2013-03-08)

transformational programming,

Sources:
Eerke A. Boiten (2013-03-08)

privacy and security

Sources:
Eerke A. Boiten (2014-04-29)

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

Sources:
Scopus - Elsevier (2013-03-08)

Biography

ir, Twente, 1988. PhD, Nijmegen, 1992. Eindhoven 1993-1995. Kent 1995-2017. De Montfort, Leicester, UK, 2017-

Record last modified {{lastModifiedDate}}