Edinburgh Research Explorer

Automated reasoning in large structured theories

Project: Research

StatusFinished
Effective start/end date1/05/0630/09/06