Formal Description Techniques - How Formal and Descriptive are they?

Manfred Broy

Browse the full FORTE paper archive.