Stem albert$ (all stems)
1 papers:
FASE-1998-Dubois #formal method #named #requirements #tool support- ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering (ED), pp. 322–325.
FASE-1998-Dubois #formal method #named #requirements #tool support