editorial

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)

Authors:

Sérgio Campos,

Marius MineaAuthors Info & Claims

Volume 230, Issue C

https://doi.org/10.1016/j.scico.2023.102991

Published: 01 August 2023 Publication History

Abstract

No abstract available.

Recommendations

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, ... / Programming and Software Engineering)

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Science of Computer Programming

Science of Computer Programming Volume 230, Issue C

Aug 2023

340 pages

ISSN:0167-6423

Issue’s Table of Contents

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 01 August 2023

Qualifiers

Editorial

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Feb 2025

Other Metrics

View Author Metrics

Abstract

Recommendations

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, ... / Programming and Software Engineering)

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

Share

Share this Publication link

Share on social media

Affiliations