Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Rigorous State-Based Methods

Rigorous State-Based Methods

By Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene & Patrizia Scandurra Computers 20/06/2024

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.

The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

Read More
More Books from Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene & Patrizia Scandurra
Testing Software and Systems Silvia Bonfanti, Angelo Gargantini & Paolo Salvaneschi
Testing Software and Systems
Rigorous State-Based Methods Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene & Patrizia Scandurra
Rigorous State-Based Methods
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Bedir Tekinerdogan, Romina Spalazzese, Hasan Sözer, Silvia Bonfanti & Danny Weyns
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
Comments