Runtime checking for separation logic

• المؤلفون الرئيسيون: Nguyen, H.H., Kuncak, V., Chin, W.-N.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2013
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/41684

10.1007/978-3-540-78163-9_19