Patent Assignment
Reel/Frame 015760/0076
Assignment of Assignor's Interest
Recorded: 2005-03-10
Pages: 3
Assignors
LEINO, K. RUSTAN M.
Executed: 2005-03-02
SCHULTE, WOLFRAM
Executed: 2005-03-02
JACOBS, BART
Executed: 2005-02-12
Assignee
MICROSOFT CORPORATION
ONE MICROSOFT WAY, REDMOND, WASHINGTON, 98052
Covered Property
(1)
Method for Specifying and Verifying Multi-Threaded Object-Oriented Programs with Invariants
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.