Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Reel/Frame: | 014833/0430 | |
| Pages: | 2 |
| | Recorded: | 12/19/2003 | | |
Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
Total properties:
1
|
|
Patent #:
|
|
Issue Dt:
|
07/10/2007
|
Application #:
|
10739187
|
Filing Dt:
|
12/19/2003
|
Publication #:
|
|
Pub Dt:
|
06/23/2005
| | | | |
Title:
|
METHODS AND SYSTEMS FOR AUTOMATICALLY GENERATING PROVABLY CORRECT COMPUTER PROGRAM CODE
|
|
Assignee
|
|
|
17-22, AKASAKA 2-CHOME |
MINATO-KU |
TOKYO, JAPAN |
|
Correspondence name and address
|
|
OLIFF BERRIDGE, PLC
|
|
JAMES A. OLIFF
|
|
P.O. BVOX 19928
|
|
ALEXANDRIA, VA 22320
|
Search Results as of:
05/21/2024 07:49 AM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|