Symposium on Software Validation (1983 Darmstadt, Germany)