Michael William Whalen

2 Patents

• US120931602024

  Iot Event Detector Correctness Verification

  Amazon Technologies, Inc.

  0 cites
• US117973172023

  Transitioning Legacy Software to Be Provably Correct

  Amazon Technologies, Inc.

  0 cites