Hardware and Software: Verification and Testing Kedar Namjoshi, Andreas Zeller & Avi Ziv: другие книги

Static Analysis

2021