Component Contract-Based Interface Specification Technique Using Z.

Published in: Int. J. Softw. Eng. Knowl. Eng. (2002)

Keyphrases