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