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]

  • Infolettre de juin 2018 - Voici les dernières nouvelles du CRIM, ses membres et partenaires https://t.co/e4pU6hMa4j https://t.co/YSVe1z1SNB
  • technopolys RT @technopolys_qc: Gestion de réunions : le CRIM et Luffa deviennent partenaires https://t.co/zkpnadMXGv