Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. Modeling, Verification and Testing of Web Applications Using Model Checker. IEICE Transactions, 94-D(5):989-999, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.