UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Automated Cyclic Entailment Proofs in Separation Logic

Brotherston, J; Distefano, D; Petersen, RL; (2011) Automated Cyclic Entailment Proofs in Separation Logic. In: Bjorner, N and SofronieStokkermans, V, (eds.) (Proceedings) 23rd International Conference on Automated Deduction (CADE 23). (pp. 131-+). SPRINGER-VERLAG BERLIN

Full text not available from this repository.
Type: Proceedings paper
Title: Automated Cyclic Entailment Proofs in Separation Logic
Event: 23rd International Conference on Automated Deduction (CADE 23)
Location: Wroclaw, POLAND
Dates: 31 July 2011 - 05 August 2011
ISBN-13: 978-3-642-22437-9
Keywords: Science & Technology, Technology, Computer Science, Artificial Intelligence, Computer Science, SHAPE-ANALYSIS, VERIFICATION, HOL
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1363364
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item