1995
Anthology
Title

KORSO

Title Supplement
Methods, languages, and tools for the construction of correct software. Final report
Person Involved
Broy, M.
Jähnichen, S.
Publisher
Publishing Place
Berlin
Language
English
FIRST