Constructive Logic for Automated Software Engineering
Satellite event of
ETAPS 2005
, Edinburgh, 9th April 2005
