8030 EPSRC EP/T006595/1 Higher-order Constrained Horn Clauses

Project Details

StatusActive
Effective start/end date1/03/2028/02/23