Volume 10,Issue 4,2016 Table of Contents

   
Other Issues:  
  

Contents

Formal Verification of `Programming to Interfaces' Programs
  Jianhua Zhao and Xuandong Li
  2016,10(4):0 [Abstract(2156)]  [View PDF 170.88 K (1423)]
  
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(3174)]  [View PDF 2.42 M (1436)]
  
Second Order Bounded Quantification with If-Expression
  Gang Chen
  2016,10(4):0 [Abstract(3361)]  [View PDF 156.96 K (1420)]
  
Applying Programming Language Evaluation Criteria for Model Transformation Languages
  Leila Samimi-Dehkordi, Alireza Khalilian and Bahman Zamani
  2016,10(4):0 [Abstract(3288)]  [View PDF 1.73 M (1824)]
  

 
 

more>>  
Visitor:3235961
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号