{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:brew/ats2-postiats","name":"ats2-postiats","description":"Programming language with formal specification features","version":"0.4.2","softwareVersion":"0.4.2","license":"https://spdx.org/licenses/GPL-3.0-only","url":"https://www.cs.bu.edu/~hwxi/atslangweb/","dateCreated":"2022-04-12","dateModified":"2022-04-12","datePublished":"2022-04-12","copyrightYear":2022,"applicationCategory":"homebrew","runtimePlatform":"homebrew","sameAs":["https://formulae.brew.sh/formula/ats2-postiats"]}