Ramayya Kumar. Invited Talk: Practical Use of Formal Verification - Where are we? Where do we go?. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. IEEE Computer Society, 1999.
@inproceedings{Kumar99,
title = {Invited Talk: Practical Use of Formal Verification - Where are we? Where do we go?},
author = {Ramayya Kumar},
year = {1999},
researchr = {https://researchr.org/publication/Kumar99},
cites = {0},
citedby = {0},
booktitle = {12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India},
publisher = {IEEE Computer Society},
}