Formal methods: foundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, proceedings / Haniel Barbosa, Yoni Zohar, editors.
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | SBMF 2023 |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2024]
|
| Series: | Lecture notes in computer science ;
14414. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.758
|
|---|---|
| QA76.758 | Available |