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

被引：0

|

作者：

Campos, Sergio

Minea, Marius

机构：

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2023年 / 230卷

关键词：

D O I：

10.1016/j.scico.2023.102991

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页数：1

相关论文

共 50 条

[1] Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011) Preface
Simao, Adenilso
Morgan, Carroll
SCIENCE OF COMPUTER PROGRAMMING, 2014, 92 : 85 - 85
[2] Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008)
Machado, Patricia D. L.
SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (04) : 423 - 423
[3] Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
Cavalheiro, Simone
Fiadeiro, Jose Luiz
SCIENCE OF COMPUTER PROGRAMMING, 2020, 191
[4] Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020 Preface
Carvalho, Gustavo
Stolz, Volker
SCIENCE OF COMPUTER PROGRAMMING, 2022, 220
[5] Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013) Preface
Gheyi, Rohit
Iyoda, Juliano
SCIENCE OF COMPUTER PROGRAMMING, 2015, 107 : 1 - 1
[6] Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022
Lima, Lucas
Molnar, Vince
SCIENCE OF COMPUTER PROGRAMMING, 2024, 238
[7] Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005) Preface
Sampaio, Augusto
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 184 : 1 - 2
[8] Preface-22nd Brazilian Symposium on Formal Methods - SBMF 2019
Duran, Adolfo
Wadler, Philip
SCIENCE OF COMPUTER PROGRAMMING, 2021, 201
[9] Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015)
Cornelio, M. L.
Roscoe, A. W.
SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 82 - 83
[10] Preface to SCP special issue with extended selected papers from SBMF 2014
Braga, Christiano
Marti-Oliet, Narciso
SCIENCE OF COMPUTER PROGRAMMING, 2016, 126 : 1 - 2

← 1 2 3 4 5 →