• WebAssembly: SpecTec has been adopted https://webassembly.org/news/2025-03-27-spectec/ 14 comments 28/3/2025 programming
• SpecTec has been adopted - WebAssembly https://webassembly.org/news/2025-03-27-spectec/ 9 comments 28/3/2025 programminglanguages
• SpecTec has been adopted - WebAssembly https://webassembly.org/news/2025-03-27-spectec/ 0 comments 27/3/2025 webassembly