Switch to: Citations

Add references

You must login to add references.
  1. The correctness of nondeterministic programs.Zohar Manna - 1970 - Artificial Intelligence 1 (1-2):1-26.
    Download  
     
    Export citation  
     
    Bookmark   2 citations