Andrei Arusoaie. Engineering Hoare Logic-Based Program Verification in K Framework. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 177-184, IEEE, 2013. [doi]
Abstract is missing.