征稿范围
FMCAD welcomes submission of papers reporting original
research on advances in all aspects of formal methods
technology and its application to computer-aided design.
Topics of interest include, but are not limited to, the following:
-- Advances in model
留言