Industrial Use of Formal Methods Formal Verification ed. J-L Boulanger
includes a chapter on our tools
(ISBN 13: 9781848213630 ISBN 10: 1848213638) Published in July 2012 by ISTE Ltd and John Wiley & Sons Inc; hardback
One possible UK source of supply (as of August 2012) is the
Verification of C Programs Using Automated Reasoning (PDF, 141K)
A paper presented at SEFM 2007 (5th IEEE International Conference
on Software Engineering and Formal Methods. London, UK. September 10-14, 2007)
Please note that the current syntax of eCv differs somewhat from that used in this paper.