Build your own model checker in one month

• المؤلفون الرئيسيون: Dong, J.S., Sun, J., Liu, Y.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2014
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/78051

10.1109/ICSE.2013.6606751