SRI Computer Science Lab ======================== Formal Methods at the Computer Science Laboratory, SRI International Return to the Formal Methods page SRI International CS Laboratory - Formal Methods and Dependable Systems Address : http://www.csl.sri.com/ Year : 1995 Source : Microforum Internet Directory 1995 lycos9510 Tags : Computers: Companies ------------------------------------------------------------------ gopher://hp84.com/ | https://ge97.com/ .