Publications

...
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001
• 2000
...

• Hierarchical Formal Verification Using a Hybrid Tool
  Kort S, Tahar S and Curzon P
  International Journal on Software Tools For Technology Transfer vol. 4, 1-10-1-10.  
  DOI 10.1007/s10009-002-0082-5
  
  01-05-2003
• Middlesex University Interaction Design Centre
  Curzon P Gray P Johnson H Neill EO
  Proceedings of HCI 2003: Designing for Society. vol. 2, 219-220-219-220.  
  01-01-2003