Options
Title
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004. Revised selected papers
Title Supplement
Paphos, Cyprus, October 30 - November 2, 2004
Person Involved
Publisher
Publishing Place
Amsterdam
Publication Date
2008
Series
Theoretical computer science; 404.2008, Nr.3
ISSN
0304-3975