Login / Signup

Interval reduction through requirements analysis.

Gerard J. HolzmannMargaret H. Smith
Published in: Bell Labs Tech. J. (1998)
Keyphrases