Stack Overflow
Stack Overflow

Stanley Bak
543
reputation
3
16
  • Member since July 08 2014
  • 62 profile views
  • Last seen Jun 03 '22 at 20:51

Researcher in Computer Science working on formal verification of hybrid automaton models.