Cliff B. Jones, Troy K. Astarte. Challenges for Formal Semantic Description: Responses from the Main Approaches. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Volume 11174 of Lecture Notes in Computer Science, pages 176-217, Springer, 2017. [doi]
Abstract is missing.