↓ Skip to main content

Formal Methods and Software Engineering

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
1 Wikipedia page
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal Methods and Software Engineering
Published by
Springer Nature Singapore, January 2023
DOI 10.1007/978-981-99-7584-6
ISBNs
978-9-81-997583-9, 978-9-81-997584-6
Editors

Yi Li, Sofiène Tahar

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.