Formal Verification of Web Applications Modeled by Communicating Automata.

May Haydar, Alexandre Petrenko, Houari A. Sahraoui

Browse the full FORTE paper archive.