Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Rohit Gheyi, David Naumann

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)V
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7498 LNCS
StatePublished - 2012
Event15th Brazilian Symposium on Formal Methods, SBMF 2012, Colocated with Third Brazilian Conference on Software:Theory and Practice, CBSoft 2012 - Natal, Brazil
Duration: 23 Sep 201228 Sep 2012

Cite this