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]

Abstract

Abstract is missing.