Related Books
Language: en
Pages: 424
Pages: 424
Type: BOOK - Published: 2023-02-10 - Publisher: Springer Nature
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal
Language: en
Pages: 174
Pages: 174
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 355
Pages: 355
Type: BOOK - Published: 2022-09-24 - Publisher: Springer Nature
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Met
Language: en
Pages: 316
Pages: 316
Type: BOOK - Published: 2024-10-01 - Publisher: TU Wien Academic Press
Die Proceedings zur Konferenz „Formal Methods in Computer-Aided Design 2024“ geben aktuelle Einblicke in ein spannendes Forschungsfeld. Zum fünften Mal ers
Language: en
Pages: 386
Pages: 386
Type: BOOK - Published: 2023-05-14 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023
