Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Ausgezeichnete Informatikdissertationen 2006 D-7, 29-38 (2006).

Gesellschaft fuer Informatik, Bonn
2006


Editors

Dorothea Wagner (ed.)


Copyright © Gesellschaft fuer Informatik, Bonn

Contents

Increasing robustness and usability of circuit design tools by using formal techniques

Görschwin Fey


Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-411-0


Last changed 12.06.2012 13:43:37