ChapmanRoderick

Enforcing security and safety models with an information flow analysis tool

HiltonAdrian, ChapmanRoderick, 2004 .

Correctness by Construction

HallAnthony, ChapmanRoderick, 2002 .

Static verification and extreme programming

AmeyPeter, ChapmanRoderick, 2003 .