Integrating Formal Description Techniques (1999)

by B Schätz, F Huber
Venue:FM’99, volume 1709 of LNCS