Preface by the section editors

Lenore Zuck, Paul Attie, Agostino Cortesi

Research output: Contribution to journalEditorialpeer-review


The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems. This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '03). The choice of papers for the issue was based on their merit as well as on the fact that, as a group, they represent the main current research areas in the field of software-based systems.

Original languageEnglish (US)
Pages (from-to)1-3
Number of pages3
JournalInternational Journal on Software Tools for Technology Transfer
Issue number1
StatePublished - 2004
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Information Systems


Dive into the research topics of 'Preface by the section editors'. Together they form a unique fingerprint.

Cite this