Computer Laboratory

This page is currently under construction

Branch Consistency

Joint work with Reinhard Munz & Allen Clement (MPI-SWS)

Muskeeter

Joint work with Ionel Gog (University of Cambridge, Computer Laboratory)