author : Wolfgang Grieskamp

Short works

• A Computation Model for Z Based on Concurrent Constraint Resolution. 2000. (In ZB 2000 )