direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2013201220112010200920082007200620052004

2008

Interactive Theorem Proving in Software Engineering
Zitatschlüssel KammuellerHabil
Autor Kammüller, F.
Jahr 2008
ISBN 978-3-8364-5769-9
Verlag VDM Mueller Saarbrücken
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe