School of Computing

Projects

A System for Parallel Model Checking