Yoonsik Cheon. Design Assertions: Executable Assertions for Design Constraints. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau, editors, Computational Science and Its Applications - ICCSA 2022 Workshops - Malaga, Spain, July 4-7, 2022, Proceedings, Part V. Volume 13381 of Lecture Notes in Computer Science, pages 617-631, Springer, 2022. [doi]
Abstract is missing.