Login / Signup

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.

Daniel JacksonCraig Damon
Published in: IEEE Trans. Software Eng. (1996)
Keyphrases