next up previous
Next: Algorithm = Logic + Up: History Previous: History

Declarative Modelling and Efficient Enforcement





Mark Wallace
Wed Sep 3 18:36:40 BST 1997