I4.2 Design and implement improved SCCL in JDA

jdomainapp / jda

the root source code project of the JDA framework

MIT License

3 stars 1 forks source link

Open ducmle opened 2 years ago

ducmle commented 2 years ago

Included in #85

Also see: SCCL formalisation: issue #78

Design and implement improved SCCL in JDA (modules: sccl, sccltool)