Keijiro Araki, Stefania Gnesi, Dino Mandrioli

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Pages (from-to)V
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publication statusPublished - 2003
Event12th International Symposium of Formal Methods Europe, FME 2003 - Pisa, Italy
Duration: Sept 8 2003Sept 14 2003

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this