Assignment of Assignor's Interest

Recorded: 2009-11-10 Pages: 6

Assignors

MOSKAL, MICHAL JAN

Executed: 2009-10-06

TOBIES, STEPHAN

Executed: 2009-10-06

COHEN, ERNIE

Executed: 2009-10-06

SCHULTE, WOLFRAM

Executed: 2009-10-12

Assignee

MICROSOFT CORPORATION

ONE MICROSOFT WAY, REDMOND, WASHINGTON, 98052-6399

Covered Property (1)

Software Verification Using Two-State Invariants

Application: 12/575,209 →

Publication: US 2011/0083124

Related Assignments (1)

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