Formalising Design Patterns in Predicate Logic.

Ian Bayley

Browse the full SEFM paper archive.