Attempto - Englisch als (formale) Spezifikationssprache (system description).

Published in: WLP (1997)

Keyphrases