中国科学院软件研究所机构知识库
Advanced  
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)

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace