Fridtjof Feldbusch. Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung. PhD thesis, Karlsruhe Institute of Technology, Germany, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.