Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach

Long-Phuoc Ton, Hoang-Anh Pham, Bo Dao. Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach. In International Conference on Advanced Computing and Applications, ACOMP 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017. pages 3-9, IEEE Computer Society, 2017. [doi]

Authors

Long-Phuoc Ton

This author has not been identified. Look up 'Long-Phuoc Ton' in Google

Hoang-Anh Pham

This author has not been identified. Look up 'Hoang-Anh Pham' in Google

Bo Dao

This author has not been identified. Look up 'Bo Dao' in Google