[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - Towards an Institutional Representation for the B Model Oriented Specification
Achouri, Amine, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni BenYear:
2014
Language:
english
DOI:
10.1109/compsacw.2014.124
File:
PDF, 339 KB
english, 2014