Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Total Assignments:
3
|
|
Patent #:
|
|
Issue Dt:
|
07/10/2007
|
Application #:
|
10739187
|
Filing Dt:
|
12/19/2003
|
|
Publication #:
|
|
Pub Dt:
|
06/23/2005
| | | | |
|
Inventor:
|
Wolfgang H. Polak
|
|
Title:
|
METHODS AND SYSTEMS FOR AUTOMATICALLY GENERATING PROVABLY CORRECT COMPUTER PROGRAM CODE
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 17-22, AKASAKA 2-CHOME |
| MINATO-KU |
| TOKYO, JAPAN |
|
|
|
|
| OLIFF BERRIDGE, PLC |
| JAMES A. OLIFF |
| P.O. BVOX 19928 |
| ALEXANDRIA, VA 22320 |
|
|
|
Assignment:
2
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 121 BROADWAY |
| DOVER, NEW HAMPSHIRE 03820 |
|
|
|
|
| JESSICA WOODHOUSE |
| LATHAM & WATKINS LLP |
| 885 THIRD AVENUE, SUITE 1000 |
| NEW YORK, NEW YORK 10022 |
|
|
|
Assignment:
3
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 121 BROADWAY |
| DOVER, NEW HAMPSHIRE 03820 |
|
|
|
|
| LATHAM & WATKINS LLP |
| JESSICA WOODHOUSE |
| SUITE 1000 |
| 885 THIRD AVENUE |
| NEW YORK, NEW YORK 10022 |
|
|
Search Results as of:
05/21/2024 05:16 PM
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
|
