Steve Easterbrook

• Cscw
• CSCW: Cooperation or Conflict?
• Formal methods for verification and validation of partial specifications