habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Remove val #69

Open dmarmsoler opened 5 years ago

dmarmsoler commented 5 years ago

For BTA and CTA: Remove val