PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning

Fontaine, P., Schmidt, R. and Schulz, S. (eds) (2013)

EPiC Series, Vol. 21 EasyChair. BiBTeX, Proceedings.
Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 23 Sep 13
Copyright © 2013 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk