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

Fey, GörschwinWagner, Dorothea2017-09-222017-09-222007978-3-88579-411-0https://dl.gi.de/handle/20.500.12116/4553deIncreasing robustness and usability of circuit design tools by using formal techniques1617-5468