IC3 is an initiative of faculty members at Carnegie Mellon University, Cornell University, Cornell Tech, EPFL, ETH Zurich, University of Bern, UC Berkeley, University College London, UIUC, SMU, and the Technion. It's based at the Jacobs Technion-..
Relevance: 1.9635416