Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi. Using the Model Checker Spin for Web Application Design. In Tenth Annual International Symposium on Applications and the Internet, SAINT 2010, Seoul, Korea, 19-23 July, 2010, Proceedings. pages 137-140, IEEE Computer Society, 2010. [doi]
Abstract is missing.