GitHub repository: resource-reasoning/JavaScriptVerification
Primary language: OCaml
Created: 2016-03-12T16:58:40Z
Description: Analysis Verification Tools for JavaScript