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]

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…