Diary Entry: 2012-04-02 00:00:00 - 2012-04-05 00:00:00

Phil and others from the theory group attend BCTCS 2012 in Manchester. The event is co-located with ARW 2012. Phil gives a talk based on Domain Specific Languages and how they can help verification.