TY - BOOK AU - Habrias, Henri AU - Frappier , Marc TI - Software specification methods SN - 1905209347 PY - 2007/// CY - U K PB - ISTE KW - Electronics KW - Software ER -