中国计算机学会会刊
中国科技核心期刊
中文核心期刊
Home
Introduction
Journal honors
Database
Editorial board
Guide
Submission
Publishing ethics
Subscription
Download
Contact us
中文
Formal verification of serveral
software components in PAR platform
HU Qi-min1,2,XUE Jin-yun1,2,YOU Zhen1,2,CHENG Zhuo1,2
Computer Engineering & Science . 2018, (
02
): 268 -274 .
