University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Generalisation Operators for Abstraction-Refinement

Info

Duration

1st April 2009 to 31st March 2012

Principal Investigator

People

Themes