Assignment of Assignor's Interest

Recorded: 2008-06-20 Pages: 4

Assignors

LICHTENBERG, JAKOB FREDERIK

Executed: 2008-06-18

MCGARVEY, CONAL

Executed: 2008-06-18

BOUNIMOVA, ELEONORA O

Executed: 2008-06-18

LEVIN, VLADIMIR A

Executed: 2008-06-18

Assignee

MICROSOFT CORPORATION

ONE MICROSOFT WAY, REDMOND, WASHINGTON, 98052

Covered Property (1)

Precondition Rules for Static Verification of Code

Application: 12/142,775 →

Publication: US 2009/0319997

Related Assignments (1)

Other recorded transfers of the patent in this record — the chain of ownership.