SMT-based Test Program Generation for Cache-memory Testingстатья

Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.