Applied Formal Methods - FM-Trends 98 | lit.salon