M. Lacroix;M. Vanhoedenaghe
-;-
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods