Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich. An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. In SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. pages 35-36, ACM, 2009. [doi]
Abstract is missing.