Michael Blondin

ORCID iD
https://orcid.org/0000-0003-2914-2734
  • Country
  • Show details Hide details
Canada

Sources:
Michael Blondin (2018-04-06)

  • Keywords
  • Show details Hide details
formal verification,

Sources:
Michael Blondin (2018-04-06)

model checking,

Sources:
Michael Blondin (2018-04-06)

computational complexity theory,

Sources:
Michael Blondin (2018-04-06)

infinite state systems,

Sources:
Michael Blondin (2018-04-06)

automata theory,

Sources:
Michael Blondin (2018-04-06)

arithmetic theories

Sources:
Michael Blondin (2018-04-06)

  • Websites
  • Show details Hide details
http://info.usherbrooke.ca/mblondin

Sources:
Michael Blondin (2018-04-06)

  • Email
  • Show details Hide details

Sources:
Michael Blondin (2018-08-20)

Record last modified {{lastModifiedDate}}