Conference , Workshops Proceedings

Properties and Scopes ...

Haydar, M., Boroday, S., Petrenko, A. and Sahraoui, H. "Properties and Scopes in Web Model Checking" in Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). California, Long Beach, USA
[Full text] [Abstract]

  • Croesus_fr RT @Croesus_fr: @CRIM_ca @economie_quebec Merci pour le partage @CRIM_ca! Nous sommes aussi très heureux. #collaboration
  • Croesus RT @CroesusFin: Croesus announces the official launch of Croesus Lab https://t.co/GqWue9OaHk