Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings - Couverture souple

 
9783031224775: Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Synopsis

Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.