Patent Assignment
Reel/Frame 014833/0430
Assignment of Assignor's Interest
Recorded: 2003-12-19
Pages: 2
Assignor
POLAK, WOLFGANG H.
Executed: 2003-12-17
Assignee
FUJI XEROX CO., LTD.
17-22, AKASAKA 2-CHOME, MINATO-KU, TOKYO, JAPAN
Covered Property
(1)
Methods and Systems for Automatically Generating Provably Correct Computer Program Code
Related Assignments
(2)
Other recorded transfers of the patent in this record — the chain of ownership.