Preface

Research output: Contribution to journalEditorial

Original languageEnglish
JournalLecture Notes in Computer Science
Volume6447 LNCS
StatePublished - 2010
Event12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, China
Duration: 17 Nov 201019 Nov 2010

Cite this