CHARME
Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Conference on Correct Hardware Design Methodologies, Advanced Research Working
IFIP WG 10.2 Advanced Research Working Conference, CHARME
IFIP WG 10.5 Advanced Research Working Conference, CHARME