Patent Assignment
Reel/Frame 044546/0087
Assignment of Assignor's Interest
Recorded: 2018-01-05
Pages: 3
Assignors
GROSSER, THOMAS P.
Executed: 2015-11-02
KOCH, GERRIT
Executed: 2015-10-29
WINKELMANN, RALF
Executed: 2015-10-29
Assignee
INTERNATIONAL BUSINESS MACHINES CORPORATION
NEW ORCHARD ROAD, ARMONK, NEW YORK, 10504
Covered Property
(1)
Verifying a Graph-Based Coherency Verification Tool