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