© AbsInt. Astrée is developed and distributed by AbsInt under license from the CNRS/ENS.
Traffic lights image: Raysonho, CC0 1.0, sky photography: S. Eugster, CC BY-SA 3.0. Legal notices. Privacy policy.
URL: https://www.absint.com/astree/slides/13.htm