A Platform for Automated Analysis of Traceability (WP3)
-
Updated
Dec 23, 2017 - Java
#
kodkod
Here are 3 public repositories matching this topic...
Embedding of First-Order Relational Logic into Meta-Object Facility
-
Updated
Apr 30, 2019 - Java
A Platform for Automated Analysis of Traceability (WP3)
-
Updated
Jun 12, 2017 - Java
Add this topic to your repo
To associate your repository with the kodkod topic, visit your repo's landing page and select "manage topics."