Cliff B. Jones. Clarifying Assumptions. In Simon Foster 0001, Augusto Sampaio 0001, editors, The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Volume 14900 of Lecture Notes in Computer Science, pages 43-70, Springer, 2024. [doi]
Abstract is missing.