We write specifications for Computer Architectures and Programming Languages.
Organization for Standardization of Computer Architectures and Programming Languages
We write formal specifications for Computer Architectures and Programming Languages
Pinned
Repositories
Showing 3 of 3 repositories