|
|
Showing 1 - 3 of
3 matches in All Departments
This book constitutes the refereed proceedings of the 25th
Brazilian Symposium on Formal Methods, SBMF 2022, which was held
virtually in December 2022. The 8 regular papers presented in this
book were carefully reviewed and selected from 15 submissions. The
symposium focuses on the development, dissemination, and use of
formal methods for the construction of high-quality computational
systems, aiming to promote opportunities for researchers and
practitioners with an interest in formal methods to discuss the
recent advances in this area.
|
You may like...
The Smurfs 2
Hank Azaria, Neil Patrick Harris, …
DVD
(1)
R92
Discovery Miles 920
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.