University Directory worldwide » Postgraduate Programs worldwide » Academic institutions in United Kingdom System Design and Verification Research Group, University of Bristol » Postgraduate Programs, System Design and Verification Research Group, University of Bristol, (United Kingdom)