Extending Dynamic Constraint Detection with Polymorphic Analysis

Author(s):  
Nadya Kuzmina ◽  
Ruben Gamboa
2010 ◽  
Vol 30 (3) ◽  
pp. 257-262 ◽  
Author(s):  
Yan-Kun LI ◽  
Ai-Fen TAO ◽  
Jian-Min QI ◽  
Dong-Xin ZHOU ◽  
Tao WANG ◽  
...  

2021 ◽  
Vol 1233 ◽  
pp. 130098
Author(s):  
Iliyan N. Kolev ◽  
Sonya Y. Ivanova ◽  
Anna K. Amova ◽  
Gergana E. Alexieva ◽  
Vesselin L. Strashilov
Keyword(s):  

2013 ◽  
Vol 7 (3) ◽  
pp. e97-e98 ◽  
Author(s):  
Ya-Jun Deng ◽  
Yang Mi ◽  
Chun-Mei Shen ◽  
Hong-Dan Wang ◽  
Wen-Juan Liu ◽  
...  

2018 ◽  
Vol 151 ◽  
pp. 160-172 ◽  
Author(s):  
Ruiwei Liu ◽  
Hongwei Guo ◽  
Rongqiang Liu ◽  
Hongxiang Wang ◽  
Dewei Tang ◽  
...  

2018 ◽  
Vol 45 (5) ◽  
pp. 893-900
Author(s):  
Nhung Phuong Vu ◽  
Thuong Thi Huyen Ma ◽  
Ngoc Thi Bich Tran ◽  
Hue Thi Thu Huynh ◽  
Ton Dang Nguyen ◽  
...  

2021 ◽  
Author(s):  
Weijie Shen ◽  
Lei Yuan ◽  
Junfu Huang ◽  
Songyi Gao ◽  
Yuyang Huang ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document