Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface

Edited Book
Publication Date:
2019
abstract:
This Festschrift contains 32 contributions by collaborators, colleagues, and friends of Stefania Gnesi to celebrate her 65th birthday.
Iris type:
01.10 Curatela di numero monografico in rivista
Keywords:
Preface
List of contributors:
TER BEEK, MAURICE HENRI
Authors of the University:
TER BEEK MAURICE HENRI
Handle:
https://iris.cnr.it/handle/20.500.14243/364102
Full Text:
https://iris.cnr.it//retrieve/handle/20.500.14243/364102/29633/prod_409363-doc_143903.pdf
  • Overview

Overview

URL

https://link.springer.com/book/10.1007/978-3-030-30985-5
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)