Review on Formal Methods for Sotware Engineering: Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlinglof, Gerardo Schneider, and Siraj Ahmed Shaikh Published by Springer, ISBN: 978-3-030-38799-0, 524 pages, 2022. https://doi.org/10.1007/978-3-030-38800-3
Review on formal methods for software engineering: languages, methods, application domains
ter Beek M. H.
2025
Abstract
Review on Formal Methods for Sotware Engineering: Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlinglof, Gerardo Schneider, and Siraj Ahmed Shaikh Published by Springer, ISBN: 978-3-030-38799-0, 524 pages, 2022. https://doi.org/10.1007/978-3-030-38800-3File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FAC_Book_Review.pdf
accesso aperto
Descrizione: Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
433.48 kB
Formato
Adobe PDF
|
433.48 kB | Adobe PDF | Visualizza/Apri |
|
ter Beek_Review_FAC2025.pdf
accesso aperto
Descrizione: Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
112.14 kB
Formato
Adobe PDF
|
112.14 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
