Wolfgang Ecker. A classification of design steps and their verification. In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 536-541, IEEE Computer Society, 1995. [doi]
@inproceedings{Ecker95a, title = {A classification of design steps and their verification}, author = {Wolfgang Ecker}, year = {1995}, doi = {10.1145/224270.224384}, url = {http://doi.acm.org/10.1145/224270.224384}, tags = {classification, design}, researchr = {https://researchr.org/publication/Ecker95a}, cites = {0}, citedby = {0}, pages = {536-541}, booktitle = {Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995}, publisher = {IEEE Computer Society}, isbn = {0-8186-7156-4}, }