Integrating Formal Description Techniques (0)

by Bernhard Schätz, Franz Huber
Venue:FM’99 – Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems