Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings

Detalles Bibliográficos
Autores principales: Merz, Stephan, Pang, Jun
Lenguaje:eng
Publicado: Springer International Publishing AG 2014
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761135
_version_ 1780970453588770816
author Merz, Stephan
Pang, Jun
author_facet Merz, Stephan
Pang, Jun
author_sort Merz, Stephan
collection CERN
id cern-2761135
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher Springer International Publishing AG
record_format invenio
spelling cern-27611352021-04-21T16:39:52Zhttp://cds.cern.ch/record/2761135engMerz, StephanPang, JunFormal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27611352014
spellingShingle XX
Merz, Stephan
Pang, Jun
Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
title Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
title_full Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
title_fullStr Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
title_full_unstemmed Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
title_short Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
title_sort formal methods and software engineering: 16th international conference on formal engineering methods, icfem 2014, luxembourg, luxembourg, november 3-5, 2014, proceedings
topic XX
url http://cds.cern.ch/record/2761135
work_keys_str_mv AT merzstephan formalmethodsandsoftwareengineering16thinternationalconferenceonformalengineeringmethodsicfem2014luxembourgluxembourgnovember352014proceedings
AT pangjun formalmethodsandsoftwareengineering16thinternationalconferenceonformalengineeringmethodsicfem2014luxembourgluxembourgnovember352014proceedings

Ejemplares similares