PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Konev, B.
,
Schmidt, R.
and
Schulz, S.
(eds) (2010)
EPiC Series, Vol.
9
, EasyChair.
BiBTeX
,
Proceedings
.
Renate A. Schmidt
Home
|
Publications
|
Tools
|
FM Group
|
School
|
Man Univ
Last modified: 17 May 12
Copyright © 2010 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk