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

2019

Contribution to journal Open Access

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

Ter Beek M. H., Fantechi A., Semini L.

Preface

This Festschrift contains 32 contributions by collaborators, colleagues, and friends of Stefania Gnesi to celebrate her 65th birthday.

Source: Berlin: Springer, 2019

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:409363,
	title = {From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface},
	author = {Ter Beek M. H. and Fantechi A. and Semini L.},
	doi = {10.1007/978-3-030-30985-5},
	year = {2019}
}