Login / Signup

Structured language for specifications of quantitative requirements.

Mario Dal Cin
Published in: HASE (2000)
Keyphrases