Preface to the special issue of selected papers from FCS/VERIFY 2002.

Serge Autexier Iliano Cervesato Heiko Mantel

Published in: Int. J. Inf. Sec. (2005)

Keyphrases

special issue
selected papers
international workshop
annual conference
ai edam
invited talk
ecml pkdd
international journal
computer science
applied intelligence
dagstuhl castle
special section
conference proceedings
lecture notes in artificial intelligence
program committee
review process
asia pacific