iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/clase/2005.rdf
Stuart Allen et al.: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005 (2006) conf/clase/2005 Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005 4 Stuart Allen 1 John N. Crossley 2 Kung-Kiu Lau 3 Iman Poernomo 4 Electronic Notes in Theoretical Computer Science Electronic Notes in Theoretical Computer Science 153 2006 Elsevier provenance information for RDF data of dblp record 'conf/clase/2005' 2023-01-20T10:31:48+0100