Generating C# programs from CSP# models

• Main Authors: Zhu, H., Dong, J.S., Wadhwa, B., Lin, S.-W.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2014
• Subjects: CSP#; Model Checking; Multi-threaded Programming
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/78160
• Institution: National University of Singapore

10.1109/ICSTW.2013.10