Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings

Detalles Bibliográficos
Autores principales: Ribeiro, Leila, Lecomte, Thierry
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761358
_version_ 1780970502267863040
author Ribeiro, Leila
Lecomte, Thierry
author_facet Ribeiro, Leila
Lecomte, Thierry
author_sort Ribeiro, Leila
collection CERN
id cern-2761358
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27613582021-04-21T16:39:43Zhttp://cds.cern.ch/record/2761358engRibeiro, LeilaLecomte, ThierryFormal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27613582016
spellingShingle XX
Ribeiro, Leila
Lecomte, Thierry
Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
title Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
title_full Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
title_fullStr Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
title_full_unstemmed Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
title_short Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
title_sort formal methods: 19th brazilian symposium, sbmf 2016, natal, brazil, november 23-25, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2761358
work_keys_str_mv AT ribeiroleila formalmethods19thbraziliansymposiumsbmf2016natalbrazilnovember23252016proceedings
AT lecomtethierry formalmethods19thbraziliansymposiumsbmf2016natalbrazilnovember23252016proceedings

Ejemplares similares