Patent Assignment
Reel/Frame 036936/0001
Assignment of Assignor's Interest
Recorded: 2015-11-02
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