author : Daniel Jackson

Short works

• Alloy: A Logical Modelling Language. 2003. (In ZB 2003 )
• Object models as heap invariants. 2003. (In Programming Methodology )