Formal Verification of Web Applications Modeled by Communicating Automata (2004)

by M Haydar, A Petrenko, H Sahraoui
Venue:in Proc. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2004), LNCS 3235