Login / Signup

Unreachable States in Model-Oriented Specifications.

Robin A. Nicholl
Published in: IEEE Trans. Software Eng. (1990)
Keyphrases