UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 9379
DCS Tech Report Number: TR-2011-327

Proceedings of the 18th Workshop on Automated Reasoning
Miller,A. Kirwan,R.

Publication Type: Tech Report (internal)
Appeared in: DCS Technical Report Series
Page Numbers : 39
Publisher: Dept of Computing Science, University of Glasgow
Year: 2011
Abstract:

This volume contains the proceedings of the 18th workshop on Automated Reasoning. Submissions consist of 2 page abstracts.

Keywords: Automated reasoning, theorem proving, model checking


PDF Bibtex entry Endnote XML