Conference , Workshops Proceedings

Formal Verification of Web Applications ...

Haydar, M., Petrenko, A. and Sahraoui, H. "Formal Verification of Web Applications Modeled by Communicating Automata" in Proceedings of 24th IFIP WG 6.1 IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), pp. 115-132. Madrid, Spain
[Full text] [Abstract]

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…