Shaping Formal Methods: Syntax, Typology and Computation
| Auteur(s): |
Theodoros Dounas
Davide Lombardi
|
|---|---|
| Médium: | article de revue |
| Langue(s): | anglais |
| Publié dans: | Nexus Network Journal |
| DOI: | 10.1007/s00004-025-00811-5 |
- Informations
sur cette fiche - Reference-ID
10816395 - Publié(e) le:
03.02.2025 - Modifié(e) le:
03.02.2025
Structurae coopère avec
