“CCF形式化方法专委会走进望安科技”研讨会顺利召开!