Normal view
MARC view
- Valmari, Antti
Valmari, Antti (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Valmari, Antti., Model Checking Software (vol. # 3925), 2006