Cargando…
Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings
Autores principales: | Ahrendt, Wolfgang, Tapia Tarifa, Silvia Lizeth |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2019
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2760406 |
Ejemplares similares
-
Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019) -
Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
por: Furia, Carlo A, et al.
Publicado: (2018) -
Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017) -
Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
por: Ábrahám, Erika, et al.
Publicado: (2016) -
Brain informatics: 12th international conference, BI 2019, Haikou, China, December 13-15, 2019, proceedings
por: Liang, Peipeng, et al.
Publicado: (2019)