DMCA

The UniForM WorkBench - a Higher Order Tool Integration Framework (1998)

Cached

Download Links

by Einar W. Karlsen
Venue:In International Workshop on Current Trends in Applied Formal Methods
Citations:6 - 2 self