Normal view
MARC view
- Emerson, E. Allen
Emerson, E. Allen (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Emerson, E. Allen., Verification, Model Checking, and Abstract Interpretation (vol. # 3855), 2006.