/SpecIF-Class-Definitions

Standardized types for SpecIF with well defined semantics.

Apache License 2.0Apache-2.0

Watchers