Patent Assignment
Reel/Frame 012869/0779
Assignment of Assignor's Interest
Recorded: 2002-04-30
Pages: 5
Assignors
BALL, THOMAS J.
Executed: 2002-04-30
RAJAMANI, SRIRAM K.
Executed: 2002-04-30
MILLSTEIN, TODD D.
Executed: 2002-04-30
MAJUMDAR, RUPAK
Executed: 2002-04-29
Assignee
MICROSOFT CORPORATION
ONE MICROSOFT WAY, REDMOND, WASHINGTON, 98052
Covered Property
(1)
System and Method for Generating a Predicate Abstraction of a Program
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.