IP Library › Assignment 027748/0346
Patent Assignment
Reel/Frame 027748/0346

Assignment of Assignor's Interest

Recorded: 2012-02-23 Pages: 2
Assignor
MAEDA, NAOTO
Executed: 2012-02-17
Assignee
NEC CORPORATION
7-1 SHIBA 5-CHOME, MINATO-KU, TOKYO, 108-8001, JAPAN
Covered Property (1)
Scope Bounding with Automated Specification Inference for Scalable Software Model Checking
Patent: 8,719,793 →
Application: 13/314,738 →
Publication: US 2012/0151449
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Feb 23, 2012
From: IVANCIC, FRANJO; SANKARANARAYANAN, SRIRAM; GUPTA, AARTI
To: NEC LABORATORIES AMERICA, INC.
Reel/Frame 027748/0315 →
Assignment of Assignor's Interest Jan 13, 2015
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 034765/0565 →