中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
Communities
Subjects
All Items
ISCAS OpenIR
Facet browsing:
Current Search
((ALL：formal software specification))
Filters
none
proceedings of the international symposium and workshop on engineering of computer based systems(2)
frontiers of computer science in china(1)
proceedings - 7th ieee/acis international conference on computer and information science, ieee/acis icis 2008, in conjunction with 2nd ieee/acis int. workshop on e-activity, ieee/acis iwea 2008(1)
proceedings - asia-pacific software engineering conference, apsec(1)
proceedings - third acis international conference on software engineering research, management and applications, sera 2005(1)
电子学报(1)
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace
