[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Interpolation Guided Compositional Verification (T)
- 作者Lin, Shang-Wei; Sun, Jun; Nguyen, Truong Khanh; Liu, Yang; Dong, Jin Song
- 文件大小260.37KB
- 发表时间2015
- DOI10.1109/ASE.2015.33
- 页码65-74
同标题推荐
[IEEE 2014 IEEE Symposium on 3D User Interfaces (3DUI) - Minneapolis, MN (2014.3.29-2014.3.30)] 2014 IEEE Symposium on 3D User Interfaces (3DUI) - Adaptive navigation for virtual environmentsArgelaguet, Ferran · 2014
[IEEE 2014 IEEE Symposium on 3D User Interfaces (3DUI) - Minneapolis, MN (2014.3.29-2014.3.30)] 2014 IEEE Symposium on 3D User Interfaces (3DUI) - Poster: Bimanual design of deformable objects thanks to the multi-tool visual metaphorLe Chenechal, Morgan; Marchal, Maud; Arnaldi, Bruno · 2014
[IEEE 2014 IEEE Symposium on 3D User Interfaces (3DUI) - MN, USA (2014.03.29-2014.03.30)] 2014 IEEE Symposium on 3D User Interfaces (3DUI) - Go'Then'Tag: A 3-D point cloud annotation techniqueVeit, Manuel; Capobianco, Antonio · 2014