Abts D. balanced approach to high-level verification: performance tradeoffs in verifying large-scale multiprocessors / D. Abts, M. Roberts, D. J. Lilja, 1999. - 3 l. - Текст : непосредственный.
Приложение
для Android