Related Books

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Language: en
Pages: 424
Authors: Paolo Masci
Categories: Computers
Type: BOOK - Published: 2023-02-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Language: en
Pages: 174
Authors: Alessandro Aldini
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Language: en
Pages: 355
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2022-09-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Met
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Language: en
Pages: 344
Authors: Loek Cleophas
Categories: Computers
Type: BOOK - Published: 2021-01-16 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Forma
PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024
Language: en
Pages: 316
Authors: Nina Narodytska
Categories: Computers
Type: BOOK - Published: 2024-10-01 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal ers