Weakest precondition analysis for computer programs
A Standard patent application filed on 22 May 2000 credited to Hall, Mark L. ; Mitchell, Charles L.

Details

Application number :

50382  

Application type :

Standard  

Application status :

LAPSED  

Under opposition :

No  

Proceeding type :

 

Invention title :

Weakest precondition analysis for computer programs  

Inventor :

Hall, Mark L. ; Mitchell, Charles L.  

Agent name :

 

Address for service :

 

Filing date :

22 May 2000  

Associated companies :

 

Applicant name :

Microsoft Corporation  

Applicant address :

 

Old name :

 

Original Source :

Go