%0 Conference Proceedings
%F rr99
%A Rusu, V.
%A Singerman, E.
%T On proving safety properties by integrating static analysis, theorem proving and abstraction
%B Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
%P 178-192
%S LNCS 1579
%I Springer Verlag
%D 1999