Options
Title
Applied formal methods - FM trends 98
Title Supplement
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1999
Series
Lecture Notes in Computer Science; 1641
ISBN
3-540-66462-9