Gaurav Singh, Sandeep K. Shukla. Verifying Compiler Based Refinement of BluespecTM. In Klaus Havelund, Rupak Majumdar, Jens Palsberg, editors, Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Volume 5156 of Lecture Notes in Computer Science, pages 250-269, Springer, 2008. [doi]
Abstract is missing.