Formal Methods: Foundations and Applications

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Tempo...

Read more
product_type_E-book
pdf
Price
49.99 £

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Tempo...

Read more

Options

  • Formats: pdf
  • ISBN: 9783031781162
  • Publication Date: 28 Nov 2024
  • Publisher: Springer Nature Switzerland
  • Product language: English
  • Drm Setting: DRM