Network
Heriot-Watt University
Organisational unit: University
University of Dundee
External organisation: External collaborations
University of Bath
External organisation: External collaborations
HWU
External organisation: External collaborations
University of Osnabrück
External organisation: External collaborations
University of Strathclyde
External organisation: External collaborations
University of Edinburgh
External organisation: External collaborations
University of St. Andrews
External organisation: External collaborations
University College Cork
External organisation: External collaborations
Hebrew University of Jerusalem
External organisation: External collaborations
Appalachian State University
External organisation: External collaborations
Inria - Sophia Antipolis
External organisation: External collaborations
Imandra Inc.
External organisation: External collaborations
City, University of London
External organisation: External collaborations
University of Genoa
External organisation: External collaborations
Imperial College London
External organisation: External collaborations
East China Normal University
External organisation: External collaborations
Katholieke Universiteit Leuven
External organisation: External collaborations
Chalmers University of Technology
External organisation: External collaborations
Moixa Technology Ltd.
External organisation: External collaborations
University of La Rioja
External organisation: External collaborations
Stanford University
External organisation: External collaborations
Ecole Normale Supérieure de Lyon
External organisation: External collaborations