(1984). Software validation: Inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 / organized by GMD - Gesellschaft für Mathematik und Datenverarbeitung, mbH, Bonn, and SRI international, Menlo Park, USA ; edited by Hans-Ludwig Hausen.
Chicago-čujuhus (17. p.)Software Validation: Inspection, Testing, Verification, Alternatives : Proceedings of the Symposium on Software Validation Held in Darmstadt, FRG, September 25-30, 1983 / Organized by GMD - Gesellschaft Für Mathematik Und Datenverarbeitung, MbH, Bonn, and SRI International, Menlo Park, USA ; Edited by Hans-Ludwig Hausen. 1984.
MLA-čujuhus (9. p.)Software Validation: Inspection, Testing, Verification, Alternatives : Proceedings of the Symposium on Software Validation Held in Darmstadt, FRG, September 25-30, 1983 / Organized by GMD - Gesellschaft Für Mathematik Und Datenverarbeitung, MbH, Bonn, and SRI International, Menlo Park, USA ; Edited by Hans-Ludwig Hausen. 1984.