Cargando…
Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019
Autores principales: | Duran, Adolfo, Wadler, Philip |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Published by Elsevier B.V.
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7546954/ http://dx.doi.org/10.1016/j.scico.2020.102565 |
Ejemplares similares
-
Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016) -
Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings
por: Simao, Adenilso, et al.
Publicado: (2011) -
Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016) -
Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017) -
Preface the 2nd Wakayama symposium: current concepts in ocular cell biology
por: Saika, Shizuya
Publicado: (2015)