Ken L. McMillan

City:

Berkeley, California

Country:

United States

Published Applications:

Last publication date:

2010-03-23

Top Assignees for applications by Ken L. McMillan

The entities that hold a legal rights for patent applications filed by inventor McMillan Ken L.:

Ken L. McMillan from Berkeley, US has applied for patents for these inventions. The list has both pending applications and granted patents:

Method, system, and computer program product for generating automated assumption for compositional verification

InventorID:

7348451 ⎘