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]
@inproceedings{Cheon22,
title = {Design Assertions: Executable Assertions for Design Constraints},
author = {Yoonsik Cheon},
year = {2022},
doi = {10.1007/978-3-031-10548-7_45},
url = {https://doi.org/10.1007/978-3-031-10548-7_45},
researchr = {https://researchr.org/publication/Cheon22},
cites = {0},
citedby = {0},
pages = {617-631},
booktitle = {Computational Science and Its Applications - ICCSA 2022 Workshops - Malaga, Spain, July 4-7, 2022, Proceedings, Part V},
editor = {Osvaldo Gervasi and Beniamino Murgante and Sanjay Misra and Ana Maria A. C. Rocha and Chiara Garau},
volume = {13381},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-10548-7},
}