Normal view
MARC view
- Berdine, Josh
Berdine, Josh (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Giacobazzi, Roberto. editor. 416821, Verification, Model Checking, and Abstract Interpretation, 2013.