Sofiène Tahar, Ramayya Kumar. Towards a Methodology for the Formal Hierarchical Verification. In ICCD. pages 58-62, 1993.
@inproceedings{TaharK93:0, title = {Towards a Methodology for the Formal Hierarchical Verification}, author = {Sofiène Tahar and Ramayya Kumar}, year = {1993}, researchr = {https://researchr.org/publication/TaharK93%3A0}, cites = {0}, citedby = {0}, pages = {58-62}, booktitle = {ICCD}, }