Title
International Workshop on Current Trends in Applied Formal Methods, 1998
Start Date
October 7, 1998
End Date
October 10, 1998
Event Year
1998
Location
Boppard
Country
DE