Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science - Hutter, D.: (et-al) (Springer: Tokyo, 1998)
Keywords: Formal Methods