Malek Haroud, Armin Biere. SDL Versus C Equivalence Checking. In Andreas Prinz, Rick Reed, Jeanne Reed, editors, SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings. Volume 3530 of Lecture Notes in Computer Science, pages 323-338, Springer, 2005. [doi]
Abstract is missing.