Cargando…

Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers

Detalles Bibliográficos
Autores principales: Itsykson, Vladimir, Scedrov, Andre, Zakharov, Victor
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756757
_version_ 1780969819255865344
author Itsykson, Vladimir
Scedrov, Andre
Zakharov, Victor
author_facet Itsykson, Vladimir
Scedrov, Andre
Zakharov, Victor
author_sort Itsykson, Vladimir
collection CERN
id cern-2756757
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer International Publishing AG
record_format invenio
spelling cern-27567572021-04-21T16:41:43Zhttp://cds.cern.ch/record/2756757engItsykson, VladimirScedrov, AndreZakharov, VictorTools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27567572017
spellingShingle XX
Itsykson, Vladimir
Scedrov, Andre
Zakharov, Victor
Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers
title Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers
title_full Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers
title_fullStr Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers
title_full_unstemmed Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers
title_short Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers
title_sort tools and methods of program analysis: 4th international conference, tmpa 2017, moscow, russia, march 3-4, 2017, revised selected papers
topic XX
url http://cds.cern.ch/record/2756757
work_keys_str_mv AT itsyksonvladimir toolsandmethodsofprogramanalysis4thinternationalconferencetmpa2017moscowrussiamarch342017revisedselectedpapers
AT scedrovandre toolsandmethodsofprogramanalysis4thinternationalconferencetmpa2017moscowrussiamarch342017revisedselectedpapers
AT zakharovvictor toolsandmethodsofprogramanalysis4thinternationalconferencetmpa2017moscowrussiamarch342017revisedselectedpapers