An object-oriented language emphasizing software correctness through contracts.
Puteaux, France
Brussels, Belgium
