N. Sharygina, H. Veith:
"CAV";
in series "Lecture Notes in Computer Science (LNCS 8044)",
series editor: Springer Verlag;
Springer,
2013,
ISBN: 978-3-642-39798-1,
1015 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)