Timothy Bourke

ORCID iD
orcid.org/0000-0003-0601-4182
  • Country
  • Show details Hide details
France

Sources:
Timothy Bourke (2016-01-24)

  • Keywords
  • Show details Hide details
embedded systems,

Sources:
Timothy Bourke (2015-12-14)

formal methods,

Sources:
Timothy Bourke (2015-12-14)

programming languages,

Sources:
Timothy Bourke (2015-12-14)

interactive theorem provers

Sources:
Timothy Bourke (2015-12-14)

  • Websites
  • Show details Hide details
Personal

Sources:
Timothy Bourke (2015-12-14)

No public information available.