search

mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
Other
1 stars 0 forks source link

add proper input/output languages and model references to the ContractSet concept #26

Closed levilucio closed 8 years ago

levilucio commented 8 years ago