Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

Patents - George Necula

Safe to execute verification of software
George C. Necula and Peter Lee
U.S. Patent 6,128,774. October 2000