Patent Assignment
Reel/Frame 051132/0439
Assignment of Assignor's Interest
Recorded: 2019-11-27
Pages: 8
Assignors
MADL, GABOR
Executed: 2019-11-20
BATHEN, LUIS ANGEL
Executed: 2019-11-19
ROUTRAY, RAMANI
Executed: 2019-11-11
Assignee
INTERNATIONAL BUSINESS MACHINES CORPORATION
NEW ORCHARD ROAD, ARMONK, NEW YORK, 10504
Covered Property
(1)
Formal Verification of Smart Contracts