GitHub repository: spec-project/SPEC-0.3
Primary language: OCaml
Created: 2016-04-20T05:17:15Z
Description: SPEC: An equivalence checker for the spi-calculus (Version 0.3)