Framework for combining analysis and verification

• المؤلفون الرئيسيون: Heintze, N., Jaffar, J., Voicu, R.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2013
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/40247
• المؤسسة: National University of Singapore

Conference Record of the Annual ACM Symposium on Principles of Programming Languages