Back to Search
Start Over
Editorial - Formal Aspects of Computing
- Source :
- Formal aspects of computing 31 (2019): 131–132. doi:10.1007/s00165-019-00481-4, info:cnr-pdr/source/autori:Gnesi S.; Cavalcanti A.; Fitzgerald J.; Heitmeyer C./titolo:Editorial-Formal Aspects of Computing/doi:10.1007%2Fs00165-019-00481-4/rivista:Formal aspects of computing/anno:2019/pagina_da:131/pagina_a:132/intervallo_pagine:131–132/volume:31
- Publication Year :
- 2019
- Publisher :
- Springer, London , Regno Unito, 2019.
- Subjects :
- Formal methods
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- Formal aspects of computing 31 (2019): 131–132. doi:10.1007/s00165-019-00481-4, info:cnr-pdr/source/autori:Gnesi S.; Cavalcanti A.; Fitzgerald J.; Heitmeyer C./titolo:Editorial-Formal Aspects of Computing/doi:10.1007%2Fs00165-019-00481-4/rivista:Formal aspects of computing/anno:2019/pagina_da:131/pagina_a:132/intervallo_pagine:131–132/volume:31
- Accession number :
- edsair.dedup.wf.001..1f60bc2834227c70e45ff168a0d47b03