Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion: 1986-01-27 - 1986-01-31

For more detailed information please click on the photo.