Abderrahman Matoussi. Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals). PhD thesis, University of Paris-Est, France, 2011. [doi]
@phdthesis{hal-3021,
title = {Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals)},
author = {Abderrahman Matoussi},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-00680736},
researchr = {https://researchr.org/publication/hal-3021},
cites = {0},
citedby = {0},
school = {University of Paris-Est, France},
}