FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings 1994 · ENGLISH · DJVU View details →