You might also like

More about Software Engineering and Formal Methods

• Book details
• Synopsis
• Trending among others

You get 162 loyalty points

Book synopsis

TThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 8-10, 2023.The 19 full papers included in this book were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

• Full title: Software Engineering and Formal Methods
• Subtitle: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 8-10, 2023, Proceedings
• Author: Antonio Cerone, Carla Ferreira, Tim Willemse
• Language: English
• Binding: Paperback
• Number of pages: 392
• EAN: 9783031471148
• ID: 44230885
• Publisher: Springer, Berlin
• Weight: 548 g
• Dimensions: 235 × 155 mm
• Date of publishing: 20. January 2024

Trending among others

---

---

---