Jacob A. Abraham, Daniel G. Saab. Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. In 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India. pages 6, IEEE Computer Society, 2007. [doi]
@inproceedings{AbrahamS07, title = {Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs}, author = {Jacob A. Abraham and Daniel G. Saab}, year = {2007}, doi = {10.1109/VLSID.2007.168}, url = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.168}, researchr = {https://researchr.org/publication/AbrahamS07}, cites = {0}, citedby = {0}, pages = {6}, booktitle = {20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India}, publisher = {IEEE Computer Society}, isbn = {0-7695-2502-4}, }