RUS
ENG
Full version
PEOPLE
Drechsler Rolf
Publications in Math-Net.Ru
Using word-level information in formal hardware verification
Avtomat. i Telemekh.
, 2004, no. 6,
140–157
©
Steklov Math. Inst. of RAS
, 2024
