Sébastien Labbé, Arnaud Sangnier. Formal Verification of Industrial Software with Dynamic Memory Management. In Yutaka Ishikawa, Dong Tang, Hiroshi Nakamura, editors, 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010. pages 77-84, IEEE Computer Society, 2010. [doi]
Abstract is missing.