Fingerprint
Dive into the research topics of 'The SCEL Language: Design, Implementation, Verification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The SCEL Language: Design, Implementation, Verification
Rocco x Rocco De Nicola, Diego Latella, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
677
Downloads
(Pure)