Specifying Behavioural Features of Design Patterns in First Order Logic.

Ian Bayley, Hong Zhu

Browse the full COMPSAC paper archive.