Published July 19, 2024
| Version ice24-final-version
Software
Open
Concerto-D/concertod-maude: ice24-final-version
- 1. IMT Atlantique, Inria, LS2N
- 2. Université de Montpellier
- 3. Université d'Orléans
Description
The Maude formalization of Concerto-D corresponding to the final version of the paper published to ICE 2024
Files
Concerto-D/concertod-maude-ice24-final-version.zip
Files
(52.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c8e52d7e7e981e03e3c90f204fc29537
|
52.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/Concerto-D/concertod-maude/tree/ice24-final-version (URL)