Hongseok Yang. Automatic Verification of Heap-Manipulating Programs Using Separation Logic. In Anna E. Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner, editors, Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings. Volume 5675 of Lecture Notes in Computer Science, pages 25, Springer, 2009. [doi]
Abstract is missing.