4 ms·
TLA+ and other formal language research is pursued by the RISE group in Microsoft Research: https://www.microsoft.com/en-us/research/group/research-software-en
by rhplus 4y ago
TLA+ and other formal language research is pursued by the RISE group in Microsoft Research:
https://www.microsoft.com/en-us/research/group/research-software-engineering-rise/ https://www.microsoft.com/en-us/research/group/research-soft...