High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28
stars
9
forks
source link
Setup KLab to handle immutables (for update to Liq-2.0 branch) #235
Open
ehildenb opened 3 years ago