Panagiotis Manolios. Refinement and Theorem Proving. In Marco Bernardo, Alessandro Cimatti, editors, Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures. Volume 3965 of Lecture Notes in Computer Science, pages 176-210, Springer, 2006. [doi]
Abstract is missing.