Modeling Web Applications Design with Automata and Its Verification.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

Browse the full ISADS paper archive.