Stem astré$ (all stems)
3 papers:
- SAS-2011-Kastner #design #experience #named
- Astrée: Design and Experience (DK), p. 5.
- SAS-2007-DelmasS #industrial #named #research
- Astrée: From Research to Industry (DD, JS), pp. 437–451.
- SAS-2005-Rival #comprehension
- Understanding the Origin of Alarms in Astrée (XR), pp. 303–319.