Vue normale
Vue MARC
- Ouardi, Faissal
Ouardi, Faissal (Personal Name)
Machine generated authority record.
Work cat.: (IMIST): aut Filali, Rajaa 2017 23298, Modeling and verification of some communication protocols using Event-B Method, 2017

