author : Franz Huber

Short works

• Integrating Formal Description Techniques. 1999. (In FM'99 volume 2 )