Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals)

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]

Abstract

Abstract is missing.