Conference , Workshops Proceedings

Specification Patterns ...

Haydar, M., Sahraoui, H. and Petrenko, A. "Specification Patterns for Formal Web Verification" in Proceedings of the 8th International Conference on Web Engineering (ICWE 2008), pp. 240-246. NY, Yorktown Heights, USA
[Full text] [Abstract]

  • TECHNOCompétences RT @TECHNOCompetenc: Initions les jeunes aux compétences numériques ! Lisez et partagez l'article de @ecolebranchee à propos de #MaVieTECHN…
  • Au tour du @lienmultimedia de parler du projet d'#IntelligenceArtificielle du CRIM et de @facilis_inc! L'expertise… https://t.co/142GYrXbjX