Home
Publishers
Board
Content
Pre-Publication
Search
For Authors
For Reviewers
News
Call for Special Issues
Volume 10,Issue 4,2016 Table of Contents
Other Issues:
Vol.10,2016
Vol.9,2015
Vol.8,2014
Vol.7,2013
Vol.6,2012
Vol.5,2011
Vol.4,2010
Vol.3,2009
Vol.2,2008
Vol.1,2007
Contents
Formal Verification of `Programming to Interfaces' Programs
Jianhua Zhao and Xuandong Li
2016,10(4):0 [
Abstract
] [
View PDF
(170.88 K)
]
AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning
Kaiqiang Jiang, Ping Huang, Hui Zan and Dehui Du
2016,10(4):0 [
Abstract
] [
View PDF
(2.42 M)
]
Second Order Bounded Quantification with If-Expression
Gang Chen
2016,10(4):0 [
Abstract
] [
View PDF
(156.96 K)
]
Applying Programming Language Evaluation Criteria for Model Transformation Languages
Leila Samimi-Dehkordi, Alireza Khalilian and Bahman Zamani
2016,10(4):0 [
Abstract
] [
View PDF
(1.73 M)
]
[2014/4/10]
Call for papers for VINCI14
[2014/3/27]
Call for Papers: Information and System Security(IJSI)
[2014/2/27]
Call for Papers for Special Issue on Quantum Computation and Quantum Information Processing(IJSI)
[2013/5/10]
Call for Papers: eSoN 13 and eScience 2013
[2013/3/27]
Call for Papers for VINCI2013
more>>
Visitor:2275123
Top Paper
|
FAQ
|
Guest Editors
|
Email Alert
|
Links
|
Copyright
|
Contact Us
© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5
京公网安备 11040202500065号
