H
hyperproperties
Projects with this topic
-
Project proposal for Matt Griffin's PhD at the University of Surrey.
Updated
Inactive project deletion - update: launch is delayed More information here.
Project proposal for Matt Griffin's PhD at the University of Surrey.