Computer Science Laboratory

2024-07-03

Science, Math, Logic and Foundations, Institutions - SRI International. Computer Science Laboratory: Formal Methods and Dependable Systems.

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