Model Checking Method for SPA Page Transition Based on Component-based Framework.

Naito Oshima, Tomoji Kishi

Browse the full SEKE paper archive.