Ph.D. Kharkiv National University of Radioelectronics
Dissertation: Models and Methods Functional Verification of Digital Systems based on Temporal Assertions
Mathematics Subject Classification: 68—Computer science
Ph.D. Kharkiv National University of Radioelectronics 2010