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]
No references recorded for this publication.
No citations of this publication recorded.