Naito Oshima, Tomoji Kishi. Model Checking Method for SPA Page Transition Based on Component-based Framework. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 675-674, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
Abstract is missing.