@inproceedings{mci/Fey2007,
author = {Fey, Görschwin},
title = {Increasing robustness and usability of circuit design tools by using formal techniques},
booktitle = {Ausgezeichnete Informatikdissertationen 2006},
year = {2007},
editor = {Wagner, Dorothea} ,
pages = { 29-38 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}