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

Fey, Görschwin (2007): Increasing robustness and usability of circuit design tools by using formal techniques. Ausgezeichnete Informatikdissertationen 2006. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-411-0. pp. 29-38