Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ICCSA
/
Paper
Design Assertions: Executable Assertions for Design Constraints.
Yoonsik Cheon
Venue
C
ICCSA
Year
2022
Proceedings
ICCSA (Workshops 5)
DBLP record
conf/iccsa/Cheon22 ↗
Browse the full
ICCSA paper archive
.