M. V. Zelkowitz
-
A Functional Correctness Model of Program Verification
Computer
Experiences with an environment generation system
ICSE '91 Proceedings of the 13th international conference on Software engineering
Early Lifecycle Work: Influence of Individual Characteristics,Methodological Constraints, and Interface Constraints
Empirical Software Engineering