Conference , Workshops Proceedings

Formal Framework for Automated Analysis ...

Haydar, M. "Formal Framework for Automated Analysis and Verification of Web-based Applications" in Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pp. 410-413. Linz, Austria
[Full text] [Abstract]

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg