Concerto-D in Maude
Résumé
The Maude formalization of Concerto-D corresponding to the final version of the paper published to ICE 2024
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04654817
Soumis le : samedi 20 juillet 2024-10:45:26
Dernière modification le : mardi 17 septembre 2024-15:58:40