Ph.D. Kharkiv National University of Radioelectronics
Dissertation: Verification of Digital Devices Models Presented on Hardware Description Languages
Mathematics Subject Classification: 68—Computer science
Ph.D. Kharkiv National University of Radioelectronics 2007