IP Library Assignment 014833/0430
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
Patent: 7,243,086 →
Application: 10/739,187 →
Publication: US 2005/0137992
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Oct 19, 2004
From: HEIDELBERGER DRUCKMASCHINEN AG
To: HEIDELBERG WEB SYSTEMS, INC.
Reel/Frame 016674/0458 →
Assignment of Assignor's Interest Oct 20, 2004
From: HEIDELBERG WEB SYSTEMS, INC.
To: GOSS INTERNATIONAL AMERICAS, INC.
Reel/Frame 015886/0619 →