Oil proving safety properties by integrating static analysis, theorem proving and abstraction (0)

by V lusu
Venue:In TAUAS PP: :lbo~s ~nd Algorithms for Uons~ruc~ion ~nd Analysis of System, s, LNCS 1579