SRI International

Details of SRI International

SRI International- Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.

John Napier