Tag: TLA+

Posts do autor

Linux Foundation lança nova organização para manter o TLA+

AWS, Oracle e Microsoft estão entre os membros.