1986 | ||
---|---|---|
2 | Valdis Berzins, Michael Gray, David Naumann: Abstraction-Based Software Development. Commun. ACM 29(5): 402-415 (1986) | |
1985 | ||
1 | Valdis Berzins, Michael Gray: Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Trans. Software Eng. 11(8): 657-670 (1985) |
1 | Valdis Berzins | [1] [2] |
2 | David Naumann | [2] |