Login / Signup

A Specification Method for Specifying Data and Procedural Abstractions.

Billy G. Claybrook
Published in: IEEE Trans. Software Eng. (1982)
Keyphrases