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

标题
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)
作者
关键词
-
出版物
SCIENCE OF COMPUTER PROGRAMMING
Volume 230, Issue -, Pages 102991
出版商
Elsevier BV
发表日期
2023-08-23
DOI
10.1016/j.scico.2023.102991

向作者/读者发起求助以获取更多资源

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More