Acte de conférence, colloque et atelier

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
[Résumé]