Explore projects
-
Updated
-
Updated
-
Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"
Updated -
Updated
-
Updated
-
-
-
A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated