TAPSOFT
International Joint Conference on Theory and Practice of Software Development
-
1985
TAPSOFT 1985
- 25-29 March
- Berlin, Germany
-
Formal Methods and Software Development
29 Papers
1 Volume