Patents - George Necula
Safe to execute verification of software
George C. Necula and Peter Lee
U.S. Patent 6,128,774. October 2000
Electrical Engineering and Computer Sciences |
||
COLLEGE OF ENGINEERING |
UC Berkeley |
|
|
||||
|
|
||||
|
Information for: Support Services:
Administrative |
||||
|
|